(Slot-Cardinality Term _Structured 1) (<=> (Term ?Self) (And (Phrase ?Self) (Value-Cardinality ?Self _Structured 1)))