Distributed wholes.
Slots Of Instances:
(Slot-Cardinality *Distributed-Whole _Distributed 1) (<=> (*Distributed-Whole ?Self) (And (Object ?Self) (Value-Cardinality ?Self _Distributed 1)))