Before revision: Natural language formalization starts with a sentence in natural language and translates it into a logical formula.
After revision: is a form of semantic parsing thatNatural language formalization starts with a sentence in natural language and translates it into a logical formula.