TreeGraSP builds on previous theoretical work concerning the specific form of the syntax-semantics interface using TAG and it will add work on formalizing RRG based on this. RRG is a rich empirically motivated grammar theory so far lacking formalization. By formalizing it, we will gain new insights about the mathematical properties of grammar and we will be able to provide tools for RRG implementation that will be highly useful to the community. On the other hand, insights on grammar architecture, for instance the mechanisms underlying argument linking, can be transferred from RRG to TAG. Our view is that TAG (as a linguistic theory) and RRG share the same semantic grammar
specifications while they differ in their syntactic building blocks and in the syntactic composition operations.
The overall goal of WP 1 is an integrated TAG/RRG grammar development framework including a thorough formalization, implementation tools, an implementation of universal parts of the grammar such as a linking theory for the syntax-semantics interface, and a parser. As a test case, we plan the implementation of typologically interesting grammar fragments.