(Slot-Cardinality Fulfilled-Maturation _Fulfilled 1) (<=> (Fulfilled-Maturation ?Self) (And (Maturation ?Self) (Value-Cardinality ?Self _Fulfilled 1)))