An aggregate is discrete if it has at least one atom as part.
(=> (_Discrete ?A ?B) (Exists (?Y) (And (_Atom ?Y True) (Part-Of ?Y ?A))))