Applicative universal grammar, or AUG, is a universal semantic metalanguage intended for studying the semantic processes in particular languages.
Among the innovations in this approach to natural language processing are the ideas of functional superposition and stratified types.
[2][3] In the paper entitled Using Types to Parse Natural Language Mark P. Jones, Paul Hudak and Sebastian Shaumyan, which describes an implementation of AUG parsing in Haskell, there is a brief introduction to AUG.
Here is how "my friend lives in Boston" reduces in AUG.
For the sake of clearer focus on genotype issues, tree branch order can be rendered so that functions are to the left of their arguments.