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