Slots Of Instances:
(<=> (*Liquid ?Self) (And (Substance ?Self) (Value-Cardinality ?Self _Liquid 1)))