Text this: Semantic formalisms in natural language processing