;;; Hey, emacs(1), this is -*- Mode: TDL; Coding: utf-8; -*- got it? ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; ;;; a transfer rule is a qadruple , where each element is a partial ;;; MRS, with: ;;; ;;; - F: an input filter; when F matches against the input MRS, the rule is ;;; blocked; F is evaluated _after_ C and I have matched; ;;; - C: the input context; needs to match for a rule to apply and binds ;;; variables, but is preserved in the output; ;;; - I: the input description; matches against the input MRS; everything that ;;; was matched in the input will be replaced by the OUTPUT part; ;;; - O: the output description; everything in the OUTPUT part is inserting ;;; into the MRS, respecting variable bindings that have been established ;;; in matching earlier components. ;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;