Applicative-Abstract-Categorial-Grammars