GF


  • The Grammatical Framework (=GF) is a grammar formalism based on type theory. It consists of