Relation SEQUENCE-OF

Arity: 2
Range: Object
Subrelation-Of: Topo-morphological-relation
Axioms:
(=> (Sequence-Of ?A ?B)
    (And (Element-Of ?B ?A)
         (Forall (?Z)
                 (=> (Element-Of ?Z ?A)
                     (Exists (?W)
                             (And (Element-Of ?W ?A)
                                  (Connected ?Z ?W)))))
         (Exists (?C) (And (Represents ?A ?C) (Element ?C ?B)))))