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

;;; Author(s):
;;; 2008 Berthold Crysmann


by_means_q_mtr := quantifier_mtr &
		  [CONTEXT.RELS <[PRED _by_p_means_rel,
				  ARG2 #0]>,
		   INPUT.RELS <[PRED _the_q_rel,
				ARG0 #0]>,
		   OUTPUT.RELS <[PRED udef_q_rel]>]. 

 
		
;;; Add rules to transfer matrix

conj_prop_ef := monotonic_mtr &
[ INPUT.RELS < [ PRED conj_rel, 
                 ARG0 #e0 & e & [ SF #sf0 & prop ], 
		 L-INDEX #e1 & e & [ SF #sf1 & sforce  ],
		 R-INDEX #e2 & e & [ SF #sf2 & sforce ] ] >,
  OUTPUT.RELS < +copy+ & [ L-INDEX [ SF prop ], 
			   R-INDEX [ SF prop ]] >,
  FLAGS [EQUAL <#e0,#e1,#e2,#sf0,#sf1,#sf2>] ].

conj_ques_ef := monotonic_mtr &
[ INPUT.RELS < [ PRED conj_rel, 
                 ARG0 #e0 & e & [ SF #sf0 & ques ], 
		 L-INDEX #e1 & e & [ SF #sf1 & sforce ],
		 R-INDEX #e2 & e & [ SF #sf2  & sforce ] ] >,
  OUTPUT.RELS < +copy+ & [ L-INDEX [ SF ques ], 
			   R-INDEX [ SF ques ]] >,
  FLAGS [EQUAL <#e0,#e1,#e2,#sf0,#sf1,#sf2>] ].



conj_comm_ef := monotonic_mtr &
[ INPUT.RELS < [ PRED conj_rel, 
                 ARG0 #e0 & e & [ SF #sf0 & comm ], 
		 L-INDEX #e1 & e & [ SF #sf1 & sforce ],
		 R-INDEX #e2 & e & [ SF #sf2 & sforce ] ] >,
  OUTPUT.RELS < +copy+ & [ L-INDEX [ SF comm ], 
			   R-INDEX [ SF comm ]] >,
  FLAGS [EQUAL <#e0,#e1,#e2,#sf0,#sf1,#sf2>] ].