Relation TRUE-PART-OF

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