Text this: Formalization of Generalized Constraint Language