Text this: Natural language understanding and logic programming :