Text this: Constraint-based syntax and semantics :