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