Text this: Natural language and logic :