Slots Of Instances:
(<=> (*Mass ?Self) (And (Material-Object ?Self) (Value-Cardinality ?Self _Mass 1) (Exists (?A) (And (Constituent-Material ?Self ?A) (Substance ?A)))))