Zaslať SMS: Constraint-Based Reasoning