| Mark Johnson, 1992. Private electronic mail correspondence. |
....to its discharge, since with unbounded dependencies the two may be separated by almost any structure. More importantly, due to the lack of occurs check in the unification algorithm used in languages like Prolog, serious soundness problems can occur with the difference list representation [8]. For instance, it is possible for the difference list to go negative in advance of the relative pronoun, only to balance out due to the presence of an extra noun phrase in the relative clause. Similar problems arise in complex grammars that allow multiple extractions from nested structures. ....
Mark Johnson, 1992. Private electronic mail correspondence.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC