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