Abstract: I will describe a linguistic formalism and toolkit developed at Microsoft Research and applied to a number of tasks in natural language processsing. I will give an overview of the basic concepts and I will briefly discuss some of its applications (such as grammar checking or machine translation). I will also show an interactive demonstration of the system.