Text this: Quantified Constraints and Containment Problems