Class GROUND-SENTENCE

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

Slots on this class:

Documentation:

A ground sentence contains no variables.

Subclass-Of: Sentence

---

Slots on instances of this class:

Variables-In-Sentence:

Slot-Cardinality: 1

Slot-Value-Type: Empty

Axioms:

(<=> (Ground-Sentence ?Expression)
     (And (Sentence ?Expression)
          (Value-Type ?Expression Variables-In-Sentence Empty)
          (Value-Cardinality ?Expression Variables-In-Sentence 1)))