This invention comprises a series of steps which transforms one or more natural language expressions into a single, well-formed formal language representation. Each natural language expression is partially parsed into simple fragments, each of which is then associated with one or more short formal expressions....http://www.google.de/patents/US8024177?utm_source=gb-gplus-sharePatent US8024177 - Method of transforming natural language expression into formal language representation
