Reasoning about inconsistencies in natural language requirements
Building A Large Annotated Corpus Of English: The Penn Treebank