Text this: Formalization of natural languages /