Text this: Constraint-based reasoning /