He also created the original implementation of the metarule interpreter as part of the XTAG software, from 1993 to 1995, thereafter improved to reach a first stable form as documented in (XTAG Research Group, 1998).
of   for each combination of redistribution and realization alternatives compatible with the subcategorization frame.