(Slot-Cardinality Rigid-Cell-Wall _Rigid 1) (<=> (Rigid-Cell-Wall ?Self) (And (Cell-Wall ?Self) (Value-Cardinality ?Self _Rigid 1)))