A part focalized by means of a positional relation with another object.
(=> (Positional-Part-Of ?A ?B) (Exists (?Z) (Position-Relation ?A ?Z)))