;;; Hey, emacs(1), this is -*- Mode: TDL; Package: LKB; -*- got it?

;;;
;;; finally, perform some post-core fix-up: make sure variable equations are
;;; being propagated, delete transfer-internal meta EPs, et al.
;;;


;;; Topicalize where questions.
; where_topic_mark_mtr := monotonic_mtr &
; [ CONTEXT.RELS < [ PRED "~unspec_", LBL #h1, ARG1 #e1 & e ],
; 		 [ LBL #h0, ARG0 #e1, MARG #h2, TPC #u3, PSV #u4 ] >,
;   FILTER.RELS < [ PRED "where_topic_mark", LBL #h0, ARG0 #e1 ] >,
;   OUTPUT.RELS < [ PRED "where_topic_mark", LBL #h0, ARG0 #e1 ] >,
;   FLAGS.EQUAL < #e1, #h2 > ].

; where_topic_mtr := monotonic_mtr &
;  [  CONTEXT.RELS < [ PRED "~unspec_", LBL #h1, ARG0 #e0, ARG1 #e1 & e] >,
;     INPUT.RELS < [ PRED #m, LBL #h0, ARG0 #e1, MARG #h2, TPC #u3, PSV #u4 ],
; 		[ PRED "where_topic_mark", LBL #h0, ARG0 #e1 ] >,
;   OUTPUT.RELS < [ PRED #m, LBL #h0, ARG0 #e1, MARG #h2, TPC #e0, PSV #u4 ] >,
;   FLAGS.EQUAL < #e1, #h2 > ].

; which_topic_mark_mtr := monotonic_mtr &
; [ CONTEXT.RELS < [ PRED which_q_rel, LBL #h0, ARG0 #x0] >,
;   FILTER.RELS < [ PRED "which_topic_mark", LBL #h0, ARG0 #x0 ] >,
;   OUTPUT.RELS < [ PRED "which_topic_mark", LBL #h0, ARG0 #x0 ] >,
;   FLAGS.EQUAL < #h0, #x0 > ].

; which_arg2_topic_mark_mtr := monotonic_mtr &
; [ CONTEXT.RELS < [ PRED "~unspec_", LBL #h1, ARG1 #e1 & e ],
; 		 [ LBL #h0, ARG0 #e1, MARG #h2, TPC #u3, PSV #u4 ] >,
;   FILTER.RELS < [ PRED "which_topic_mark", LBL #h0, ARG0 #e1 ] >,
;   OUTPUT.RELS < [ PRED "which_topic_mark", LBL #h0, ARG0 #e1 ] >,
;   FLAGS.EQUAL < #e1, #h2 > ].

; which_arg2_topic_mark_mtr := monotonic_mtr &
;  [ CONTEXT.RELS < [ PRED which_q_rel, LBL #h0, ARG0 #x0],
; 		  [ ARG0 #e0, ARG2 #x0 ] >,
;    INPUT.RELS < [ PRED #m, LBL #h0, ARG0 #e0, MARG #h2, TPC #u3, PSV #u4 ] >,
;    OUTPUT.RELS < [ PRED #m, LBL #h0, ARG0 #e0, MARG #h2, TPC #x0, PSV #u4 ] >].


;;; FIXME also do which, what, when, who, why and how?