(= (Inverse Positional-Part-Of) Positional-Part) (<=> (Positional-Part ?A ?B) (And (Entity ?A) (Entity ?B)))