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