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

**Documentation:**An object-constraint is a constraint on the properties of an object. Such objects can represent arbitrary systems of objects and parameters; this theory puts no restriction on the nature of the object (e.g., it might be a component, or syntatic structure, or a list of parameters). The purpose for distinguishing object constraints from parametric constraints is to allow for a modular scope of a constraint.

Formally, an object-constraint is a constraint whose constraint.expression is a sentence with one free variable. That variable is not universally quantified; instead, it stands for the object being constrained. The semantics of the constraint expressions is given by the predicate SATISFIES-CONSTRAINT, which associates the variable with some specific object.

**Subclass-Of:**Constraint

**Constraint.Expression:***Slot-Cardinality:*1*Slot-Value-Type:*Sentence-with-one-variable

(<=> (Object-Constraint ?Constraint) (And (Constraint ?Constraint) (Value-Type ?Constraint Constraint.Expression Sentence-With-One-Variable) (Value-Cardinality ?Constraint Constraint.Expression 1)))