Slots Of Instances:
(<=> (Uncontrolled-Growth-Of-Tissue ?Self) (And (Abnormal-Growth ?Self) (Value-Cardinality ?Self _Uncontrolled 1) (Exists (?A) (And (Embodied-In ?Self ?A) (Tissue ?A)))))