This is for naive external connection, which does not imply symmetricity, usually for granularity differences or morphological heterogeneity.
(=> (Touches ?A ?B)
(Exists (?C ?D)
(And (Boundary ?B ?D) (Boundary ?A ?C) (Connected ?C ?D))))