Reasoning about inconsistencies in natural language requirements
from contract drafting to software specification : linguistic sources of ambiguity .