Function THE-FREE-VARIABLE-IN

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

Slots on this function:

Documentation:

For sentences with exactly one free variable, this function denotes that variable. It is otherwise undefined.

Arity: 2

Range: Indvar

Axioms:

(=> (The-Free-Variable-In ?Sentence ?Variable)
    (And (Sentence-With-One-Variable ?Sentence)
         (= ?Variable
            (The ?Variable
                 (Member ?Variable (Variables-In-Sentence ?Sentence))))))