(=> (_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)))))))