Two objects x and y have weak contact when their complements are not connected and y is connected to the complement of any interior which x is part of. Granularity refinement ('microscopization') eliminates weak contact relations, while this does not happen with external connection, which could be renamed 'strong-contact'.
(=> (Weak-Contact ?A ?B)
(And (Not (Exists (?C ?D)
(And (T-Complement ?B ?D)
(T-Complement ?A ?C)
(Connected ?C ?D))))
(Forall (?Z)
(=> (Exists (?E)
(And (Interior ?Z ?E) (Part-Of ?A ?E)))
(Exists (?F)
(And (T-Complement ?Z ?F)
(Connected ?F ?B)))))))