text: The motivation for introducing these [[ languages ]] is to provide tools for formalising << grammatical frameworks >> perspicuously , and the paper illustrates this by showing how the leading ideas of GPSG can be captured in LT -LRB- LF -RRB- .