We finally show how different solvers can be used to implement various constraints on each of these dimensions (Section 5.3).
we discuss three kinds of extensions implemented in XMG: extension to several grammar formalisms, integration of explicit linguistic generalizations, and inclusion of color-based node marking to facilitate grammar writing.