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