e/Grammatical Framework

Information
has gloss	eng: Grammatical Framework (GF) is a type-theoretic grammar formalism based on Martin-Löf type theory. GF particularly addresses four aspects of grammars: multilinguality, semantics, modularity and grammar engineering, and reuse of grammars in different formats and as software components.
lexicalization	eng: Grammatical framework
instance of	c/Grammar frameworks