(= (Inverse Constitutive-Phase-Of) Constitutive-Phase) (<=> (Constitutive-Phase ?A ?B) (And (Temporalized-Entity ?A) (Temporalized-Entity ?B)))