Note that it is possible to define a unification grammar that relates several language dependent logical forms; in this approach a multilingual transfer system consists of only one transfer grammar.
Note that this is the reason that most DCG parsers expect that the input value of the string has an atomic tail, i.e.
will work fine, but
will cause problems.
Although parsing of LFG's is decidable no such result is available for generation; note furthermore that according to
extension is allowed during generation.
Gertjan van Noord
Fri Nov 25 13:42:02 MET 1994