Theoretical linguistics and grammar engineering as mutually constraining disciplines

This paper desribes four areas in which grammar engineers and theoretical linguists can interact. These include: using grammar engineering to confirm linguistic hypotheses; linguistic issues highlighted by grammar engineering; implementation capabilities guiding theoretical analyses; and insights into architecture issues. It is my hope that we will see more work in these areas in the future and more collaboration among grammar engineers and theoretical linguists. This is an area in which HPSG and LFG as a distinct advantage, given the strong communities and resources available.