I was referring to this: >The second type of [controlled natural] languages have a formal syntax and formal semantics, and can be mapped to an existing formal

I was referring to this: >The second type of [controlled natural] languages have a formal syntax and formal semantics, and can be mapped to an existing formal language, such as first-order logic. Thus, those languages can be used as knowledge representation languages,[4] and writing of those languages is supported by fully automatic consistency and redundancy checks, query answering, etc. A good example is AppleScript. You will find more here: https://en.wikipedia.org/wiki/Natural-language_programming https://en.wikipedia.org/wiki/Natural-language_programming