Class SENTENCE-WITH-ONE-VARIABLE

• Defined in theory: Parametric-constraints
• Source code: parametric-constraints.lisp

Slots on this class:

Subclass-Of: Sentence

Axioms:

(<=> (Sentence-With-One-Variable ?Sentence)
     (And (Sentence ?Sentence)
          (= 1 (Cardinality (Variables-In-Sentence ?Sentence)))))