The ConTroll system provides a grammar development environment for Head-Driven Phrase Structure Grammar (HPSG) that supports the implicational constraint language introduced by Pollard/Sag (1994). In this presentation I will discuss the computational issues that result from such a direct encoding of implicational constraints.
In the second part of the talk the functionality of the ConTroll system will be illustrated by some characteristic examples from an HPSG grammar of German that has been implemented in ConTroll.
Frank Richter, one of the chief developers of the German HPSG fragment, will accompany the lecture by live demonstrations of the Controll system and the grammar fragment.