Constraint.expression is a slot on constraint objects whose value is a KIF sentence (the syntactic thing, a list expression). The form of the sentence is limited by constraint-expression.