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.

Instance-Of: Function

Arity: 2

Range: Indvar

Other Related Axioms:

(<=> (Satisfies-Constraint ?Object ?Constraint)
     (And (Object-Constraint ?Constraint)
          (Holds (Denotation 
                     (Listof 
                         'Kappa
                         (Listof 
                             (The-Free-Variable-In 
                                 (Constraint.Expression ?Constraint)))
                         (Constraint.Expression ?Constraint)))
                 ?Object)))

(<- (The-Free-Variable-In ?Sentence)
    (If (Sentence-With-One-Variable ?Sentence)
        (The ?Variable
             (Member ?Variable (Variables-In-Sentence ?Sentence)))))