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- >> .