Text this: Formal semantic analysis :