(=> (Intercellular-Matrix ?Self) (And (Exists (?A) (And (Externally-Connected ?Self ?A) (Cell ?A))) (Exists (?B) (And (Piece-Of ?Self ?B) (Tissue ?B)))))