;;
;; a transfer rule is a qadruple <F, C, I, O>, where each element is a partial
;;; MRS, with:
;;;
;;; - F: an input filter; when F matches against the input MRS, the rule is
;;;      blocked;
;;; - 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; 
;;;
;;;quantifiers
;;; some convention about the use of meta-level predicates is 
;;; necessary
;; as for now I use this file for the context-free transfer of quantificational
;;relations and interlingua types --db


unspec_rel := monotonic_mtr &
[ INPUT.RELS < [ PRED "unspec_rel" ] >,
  OUTPUT.RELS < +copy+ & [ PRED compound_rel, ARG0 e_no_tense ] > ].


def_rel := quantifier_mtr &
[ INPUT.RELS < [ PRED "def_rel" ] >,
  OUTPUT.RELS < [ PRED _the_q_rel ] > ].

den_dem := quantifier_mtr &
[ INPUT.RELS < [ PRED "den_dem_rel" ] >,
  OUTPUT.RELS < [ PRED _the_q_rel ] > ].

mange_q_rel := quantifier_mtr &
[ INPUT.RELS < [ PRED "mange_q_rel" ] >,
  OUTPUT.RELS < [ PRED _many_q_rel ] > ].


denne := quantifier_mtr &
[ INPUT.RELS < [ PRED "denne_dem_rel" ] >,
  OUTPUT.RELS < [ PRED _this_q_dem_rel ] > ].

dette := quantifier_mtr &
[ INPUT.RELS < [ PRED "denne_dem_rel" ] >,
  OUTPUT.RELS < [ PRED _these_q_dem_rel ] > ].

hvilken := quantifier_mtr &
[ INPUT.RELS < [ PRED "hvilken_q_rel" ] >,
  OUTPUT.RELS < [ PRED which_q_rel ] > ].

bare_sg_q := quantifier_omtr &
[ INPUT.RELS < [ PRED "bare_sg_q_rel" ] >,
  OUTPUT.RELS < [ PRED _a_q_rel] > ].

bare_sg_q := quantifier_mtr &
[ INPUT.RELS < [ PRED "bare_sg_q_rel" ] >,
  OUTPUT.RELS < [ PRED bare_div_q_rel] > ].

en := quantifier_mtr &
[ INPUT.RELS < [ PRED "en_q_rel" ] >,
  OUTPUT.RELS < [ PRED _a_q_rel ] > ].


proper_q_rel := quantifier_mtr &
[ INPUT.RELS < [ PRED "proper_q_rel" ] >,
  OUTPUT.RELS < [ PRED proper_q_rel ] > ].


unspec_loc_rel := arg012_v_mtr &
[ INPUT.RELS < [ PRED "unspec_loc_rel" ] >,
  OUTPUT.RELS < [ PRED unspec_loc_rel ] > ].


basic-conjunction_mtr :=  monotonic_mtr  &
[ INPUT.RELS < norgram-and-relation &
	    [ ARG0 #x1, LBL #h1, L-INDEX #x2,
	     PRED"basic_conj_rel", R-INDEX #4] >,
  OUTPUT.RELS <  [ LBL #h1,C-ARG #x1, L-INDEX #x2, 
	PRED conj_rel, R-INDEX #4] >].



bare_div_q_rel := quantifier_mtr &
[ INPUT.RELS < [ PRED "bare_div_q_rel" ] >,
  OUTPUT.RELS < [ PRED bare_div_q_rel] > ].


noen_q := quantifier_mtr &
[ INPUT.RELS < [ PRED "noen_q_rel" ] >,
  OUTPUT.RELS < [ PRED _some_q_rel ] > ].



udef_q_rel := quantifier_mtr &
[ INPUT.RELS < [ PRED "udef_q_rel" ] >,
  OUTPUT.RELS < [ PRED udef_q_rel] > ].


pronoun_q_rel:= quantifier_mtr &
[ INPUT.RELS < [ PRED "pronoun_q_rel" ] >,
  OUTPUT.RELS < [ PRED pronoun_q_rel ] > ].

pronoun := noun_mtr &
[ INPUT.RELS < [ PRED "pron_rel" ] >,
  OUTPUT.RELS < [ PRED pron_rel ] > ].

hver_q_rel:= quantifier_mtr &
[ INPUT.RELS < [ PRED "hver_q_rel" ] >,
  OUTPUT.RELS < [ PRED _every_q_rel ] > ].

hvis-så_rel := conditional_mtr &
[ INPUT.RELS < [ PRED "_hvis-så_rel" ] >,
  OUTPUT.RELS < [ PRED "_if_x_then_rel" ] > ].

;;;; messages



prpstn_m := prpstn_mtr &
[ INPUT.RELS < [ PRED "prpstn_m_rel" ] >,
  OUTPUT.RELS < [ PRED prpstn_m_rel ] > ].

imperative_m := prpstn_mtr &
[ INPUT.RELS < [ PRED "imp_m_rel" ] >,
  OUTPUT.RELS < [ PRED imp_m_rel ] > ].

int_m := prpstn_mtr &
[ INPUT.RELS < [ PRED "int_m_rel" ] >,
  OUTPUT.RELS < [ PRED int_m_rel ] > ].

#|
imp_m := monotonic_mtr &
[ INPUT.RELS < [ PRED "imp_m_rel", LBL #h1, MARG #h2 ] >,
  OUTPUT.RELS < [ PRED imp_m_rel, LBL #h1, MARG #h2 ] > ].

prpstn_m := mrs_transfer_rule &
[ INPUT.RELS < [ PRED "prpstn_m_rel", LBL #h1, MARG #h2 ] >,
  OUTPUT.RELS < [ PRED prpstn_m_rel, LBL #h1, MARG #h2 ] > ].

int_m := mrs_transfer_rule &
[ INPUT.RELS < [ PRED "int_m_rel" ] >,
  OUTPUT.RELS < [ PRED int_m_rel ] > ].
|#


poss-rel := monotonic_mtr &
[ INPUT.RELS < basic-arg12-relation & 
	 [ PRED "poss_rel", LBL #h1, ARG1 #x1, ARG2 #x2] >,
  OUTPUT.RELS <arg012-relation & 
	 [ PRED poss_rel, LBL #h1, ARG0 i, ARG1 #x1, ARG2 #x2] > ].


part_of_rel := arg01_v_mtr &
[ INPUT.RELS < [ PRED "part_of_rel" ] >,
  OUTPUT.RELS < [ PRED part_of_rel ] > ].

negation :=  arg01_v_mtr &
[ INPUT.RELS < [ PRED "_neg_r_rel" ] >,
  OUTPUT.RELS < [ PRED neg_rel ] > ].