Text this: The Automation of Reasoning with Incomplete Information