Formal statements cannot be directly abstracted from informally expressed natural language without a...