Text this: Natural language understanding and logic programming, II :