;;; Hey, emacs(1), this is -*- Mode: TDL; Coding: utf-8; -*- got it?

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;
;;; third transfer phase, GG-specific accomodation: these rules map from the
;;; LOGON transfer-level representations into MRS `idiosyncrasies' in GG.
;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

prpstn_matrix_mtr :=
		    message_matrix_convert_mtr &
		    [CONTEXT.RELS <[ARG0 [SF #sf & prop]]>,
		     FLAGS.SUBSUME <#sf>,
		     OUTPUT.RELS <[PRED prpstn_m_rel]>].

int_matrix_mtr :=
		    message_matrix_convert_mtr &
		    [CONTEXT.RELS <[ARG0 [SF #sf & ques]]>,
		     FLAGS.SUBSUME <#sf>,
		     OUTPUT.RELS <[PRED int_m_rel]>].

imp_matrix_mtr :=
		    message_matrix_convert_mtr &
		    [CONTEXT.RELS <[ARG0 [SF #sf & comm]]>,
		     FLAGS.SUBSUME <#sf>,
		     OUTPUT.RELS <[PRED imp_m_rel]>].


prop-or-ques_matrix_mtr :=
		    message_matrix_convert_mtr &
		    [CONTEXT.RELS <[ARG0 [SF sforce]]>,
		     OUTPUT.RELS <[PRED prop-or-ques_m_rel]>].






prpstn_subord0_mtr :=
		    message_subord_convert_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG1 a,
				  ARG0 [SF prop]]>,
		     FLAGS.SUBSUME <#sf>,
		     OUTPUT.RELS <[PRED #pred],[PRED prpstn_m_rel]>].


prpstn_subord1_mtr :=
		    message_subord_convert_1_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG2 a,
				  ARG0 [SF #sf & prop]]>,
		     OUTPUT.RELS <[PRED #pred],[PRED prpstn_m_rel]>].



prpstn_subord2_mtr :=
		    message_subord_convert_2_mtr &
		    [INPUT.RELS <[PRED #pred & "~_[vap]_",
				  ARG3 a,
				  ARG0 [SF prop]]>,
		     OUTPUT.RELS <[PRED #pred],[PRED prpstn_m_rel]>].

prpstn_subord3_mtr :=
		    message_subord_convert_3_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG4 a,
				  ARG0 [SF prop]]>,
		     OUTPUT.RELS <[PRED #pred],[PRED prpstn_m_rel]>].

prpstn_subord4_mtr :=
		    message_subord_convert_4_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG0 [SF prop]]>,
		     OUTPUT.RELS <[PRED #pred],[PRED prpstn_m_rel]>].



int_subord_mtr :=
		    message_subord_convert_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG1 a,
				  ARG0 [SF  ques]]>,
		     OUTPUT.RELS <[PRED #pred],[PRED int_m_rel]>].

int_subord_mtr :=
		    message_subord_convert_1_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG2 a,
				  ARG0 [SF  ques]]>,
		     OUTPUT.RELS <[PRED #pred],[PRED int_m_rel]>].

int_subord_mtr :=
		    message_subord_convert_2_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG3 a,
				  ARG0 [SF ques]]>,
		     OUTPUT.RELS <[PRED #pred],[PRED int_m_rel]>].

int_subord_mtr :=
		    message_subord_convert_3_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG4 a,
				  ARG0 [SF ques]]>,
		     OUTPUT.RELS <[PRED #pred],[PRED int_m_rel]>].

int_subord_mtr :=
		    message_subord_convert_4_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG0 [SF ques]]>,
		     OUTPUT.RELS <[PRED #pred],[PRED int_m_rel]>].





imp_subord_mtr :=
		    message_subord_convert_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG1 a,
				  ARG0 [SF comm]]>,
		     OUTPUT.RELS <[PRED #pred],[PRED imp_m_rel]>].

imp_subord_mtr :=
		    message_subord_convert_1_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG2 a,
				  ARG0 [SF comm]]>,
		     OUTPUT.RELS <[PRED #pred],[PRED imp_m_rel]>].

imp_subord_mtr :=
		    message_subord_convert_2_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG3 a,
				  ARG0 [SF comm]]>,
		     OUTPUT.RELS <[PRED #pred],[PRED imp_m_rel]>].

imp_subord_mtr :=
		    message_subord_convert_3_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG4 a,
				  ARG0 [SF comm]]>,
		     OUTPUT.RELS <[PRED #pred],
				  [PRED imp_m_rel]>].

imp_subord_mtr :=
		    message_subord_convert_4_mtr &
		    [INPUT.RELS <[PRED #pred,
				  ARG0 [SF comm]]>,
		     OUTPUT.RELS <[PRED #pred],
				  [PRED imp_m_rel]>].

psv_insert :=
	     monotonic_mtr &
	     [INPUT.RELS <[PRED #pred ,
			   LBL #h1,
			   MARG #h2,
			   PSV #psv & u,
			   ARG0 #e0,
			   TPC #tpc],
			  [PRED parg_d_rel,
			   LBL #h3,
			   ARG1 #e0,
			   ARG2 #x2]>,
	      FLAGS.EQUAL <#psv>,
	      CONTEXT.RELS <[LBL #h3,
			ARG0 #0]>,
	      OUTPUT.RELS <[PRED #pred ,
			    LBL #h1,
			    MARG #h2,
			    PSV #x2,
			    ARG0 #e0,
			    TPC #tpc]>].



tpc_+psv_insert_omtr := 
			monotonic_omtr &
			[FILTER.RELS <[PRED focus_d_rel]>,
			 INPUT.RELS <[PRED #pred,
				      LBL #l,
				      MARG #m,
				      ARG0 #0,
				      PSV #psv & x,
				      TPC #tpc & u]>,
			 FLAGS [SUBSUME <#psv>,
				EQUAL <#tpc>],
			 OUTPUT.RELS < [PRED #pred,
					LBL #l,
					MARG #m,
					ARG0 #0,
					PSV #psv,
					TPC #psv]>].


tpc_-psv_insert_omtr := 
			monotonic_omtr &
			[FILTER.RELS <[PRED focus_d_rel]>,
			 INPUT.RELS <[PRED #pred,
				      LBL #l,
				      MARG #m,
				      ARG0 #0,
				      PSV #psv & u,
				      TPC #tpc & u]>,
			 CONTEXT.RELS <[PRED "~_[vap]_",
					ARG0 #0,
					ARG1 #1 & x]>,
			 FLAGS.EQUAL <#tpc, #psv,#1>,
			 OUTPUT.RELS < [PRED #pred,
					LBL #l,
					MARG #m,
					ARG0 #0,
					PSV #psv,
					TPC #1 & x]>].