As illustrated earlier, interpreting XMG's control language in terms of an EDCG yields tuples whose arity is the number of dimensions defined by the linguist, that is, triples of the form SYN, SEM, DYN if syntax, semantics, and the dynamic interface are described.
for each dimension D, XMG includes a constraint solver S D that computes the set of minimal models each dimension is interpreted separately by a specific solver.