Practical Reasoning In Natural Language by Stephen N. Thomas