This is for internal parts, not sharing their whole's boundary.
(=> (Non-True-Part-Of ?A ?B) (Not (Exists (?C ?D) (And (Boundary ?B ?D) (Boundary ?A ?C) (Connected ?C ?D)))))