Functional Unification G r a m m a r provides an opportunity to encompass within one formalism and computational s y s t e m the parts of m a c h i n e translation s y s t e m s t h a t have u s u a l l y been treated separately, natably analysis, transfer, and synthesis. Many of the a d v a n t a g e s of this formalism come from the fact t h a t it is monotonic allowing data structures to grow differently as different nondeterministic.