(=> (_Homeomerous ?A ?B) (Exists (?Y) (And (Substance ?Y) (Constituent-Material-Of ?Y ?A) (Not (Exists (?Z) (And (Substance ?Z) (Constituent-Material-Of ?Z ?A) (Conceptually-Different ?Y ?Z)))))))