(= (Inverse Prime-Component-Of) Prime-Component) (<=> (Prime-Component ?A ?B) (And (Localized-Entity ?A) (Localized-Entity ?B)))