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