Slots Of Instances:
(<=> (The-First-Plan ?Self) (And (Generic-Plan ?Self) (Minimum-Slot-Cardinality ?Self Plan-Successor 1) (Value-Type ?Self Plan-Predecessor Incoherent)))