(=> (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)))))