... Design of a Computer Language for Linguistic Information. Proceedings of Coling84, pp. 362-366. Association for Computa- tional Linguistics. Steedman, M. 1985. Dependency and Coordination in ... example of both these rules working in the case of right-node-raising shown in (12). It is assumed here, as in Steedman (1985), that the conjunction category involves finding like bindings for ... rule, maintaining all bindings of variables in the process. This new rule which, in the interest of brevity, we call forward-predictive subject type raising is shown in (13). (13) Forward-predict,...