;;; -*- Mode: TDL; Coding: utf-8 -*- 

;;; Authors: 
;;; 2007 Berthold Crysmann
;;; 2007 Nicolai Kilian

;;; Copyright: DFKI GmbH

MAL-v1-vc-doublet := 
		     MAL-binary-rule-type &
		     [synsem #ss & 
			     [loc [cat.head eps-verb-head & 
					    [v1 [cat [subj #subj],
						 cont.--key #key]]],
			      phrase -],
		      mal +,
		      malrule.mal-doublet.mal-v1-doublet +,
		      lr #lr & [lr_inflected +],
		      morph #m,
		      args <[morph #m,
			     lr #lr,
			     synsem #ss],
			    fin-lrule & 
			    [synsem  [loc [cat.subj #subj,
					   cont.--key #key] ] ]>].

MAL-v1-doublet := MAL-unary-rule-type &
		  [synsem [v2 #v2,
			   loc [cat [head  initial_+_fin-verb-head & [AUX +],
				     subj <>,
				     subcat <! saturated-comp-fin-verb-synsem &
					     [loc [cat [head eps-verb-head & 
							     [v1 [cat [subj #subj,
								       subcat #sc,
								       vcomp #vc,
								       ucomps #uc],
								  cont [hook #hook,
									--key #key]]]]]] !>,
				     ucomps #uc,
				     vcomp #vc],
				cont [message [PRED #messpred,
					       ARG0 [--tpc #--tpc],
					       TPC #tpc, 
					       PSV #psv,
					       MARG #marg],
				      hook #hook & [index [e.perfective -]],
				      rels <! !>,
				      HCONS <! !>]],
			   nonloc #nloc,
			   que #que,
			   phrase #ph,
			   lex #lex
			       ],
		   MAL +,
		   MALRULE.MAL-DOUBLET.MAL-V1-DOUBLET +,
		   ARGS <
			 v1-fin-lrule-no-rb & 
			 [synsem  [v2 #v2,
				   loc [cat [subj #subj,
					     subcat #sc,
					     vcomp #vc & <>,
					     ucomps #uc & <>],
					cont [message [PRED #messpred,
						       ARG0 event & [--tpc #--tpc],
						       TPC #tpc, 
						       PSV #psv,
						       MARG #marg],
					      hook #hook,
					      --key #key
						   ]],
				   nonloc #nloc & undef-nonlocs,
				   que #que,
				   phrase #ph,
				   lex #lex
				       ] ] 
			 >].

MAL-v1-doublet-perf := MAL-unary-rule-type &
		      [synsem [v2 #v2,
			       loc [cat [head  initial_+_fin-verb-head & [AUX +],
					 subj <>,
					 subcat <! saturated-comp-fin-verb-synsem &
						 [loc [cat [head eps-verb-head & 
								 [v1 [cat [subj <[loc [uniagr #agr]]>,
									   subcat.list <>,
									   vcomp <ppp-verb-synsem & 
										  [loc.cont [hook #hook,
											     key #key]]>,
									   ucomps #uc & <>],
								      cont [hook #hook,
									    key #key,
									    --key #--key]]]],
						       cont [hook #hook]]] !>,
				     ucomps #uc,
				     vcomp #vc],
				cont [hook #hook & [index #0 & event & [e [tense #tense,
								      mood #mood,
								      perfective +],
								   --psv #psv],
						    ltop #ltop,
						    lbot #lbot],
				      key [PRED #--key,
					   arg0 #0],
				      rels <! !>,
				      HCONS <! !>]],
			   nonloc #nloc,
			   que #que,
			   phrase #ph,
			   lex #lex
			       ],
		   MAL +,
		   MALRULE.MAL-DOUBLET.MAL-V1-DOUBLET +,
		   ARGS <
			 v1-fin-lrule-no-rb & 
			 [synsem  [v2 #v2,
				   loc [cat [subj <[loc.uniagr #agr]>,
					     vcomp #vc & <>,
					     ucomps #uc & <>],
					cont [hook [index event & [e [tense #tense,
								      mood #mood,
								      perfective -],
								   --psv #psv],
						    ltop #ltop,
						    lbot #lbot],
					      --key #--key
						   ]],
				   nonloc #nloc & undef-nonlocs,
				   que #que,
				   phrase #ph,
				   lex #lex
				       ] ] 
			 >].



MAL-vend-doublet := MAL-unary-rule-type &
		  [synsem [loc [cat [head eps-verb-head & [v1 [cat [subj #subj,
								  subcat #sc,
								  ucomps #uc,
								  vcomp #vc],
							     cont [--key #key,
								   hook #hook]]],
				     subj #subj,
				     subcat #sc,
				     ucomps #uc,
				     vcomp #vc],
				cont #cont & 
				    [hook #hook,
				     --key #key]],
			   nonloc #nloc,
			   que #que,
			   phrase #ph,
			   lex #lex
			       ],
		   MAL +,
		   MALRULE.MAL-DOUBLET.MAL-VEND-DOUBLET +,
		   ARGS <
			 fin-lrule & 
			 [synsem  [loc [cat [subj #subj,
					     subcat #sc,
					     vcomp #vc & <>,
					     ucomps #uc & <>],
					cont #cont],
				   nonloc #nloc & undef-nonlocs,
				   que #que,
				   phrase #ph,
				   lex #lex
				       ] ] 
			 >].


MAL-part-v-doublet := MAL-unary-rule-type &
		      [MAL +,
		       MALRULE.MAL-DOUBLET.MAL-PART-V-DOUBLET +,
		       synsem [loc [cat [head eps-verb-head & 
					      [v1.cat [subj #subj,
						       subcat #sc,
						       vcomp <particle-synsem & [loc.cont.key #pkey] . #vc >]],
					 subj #subj,
					 subcat #sc,
					 ucomps #uc,
					 vcomp #vc],
				    cont [--key #--key,
					  hook #hook,
					  rels <! #pkey !>]]],
		       args <fin-lrule & 
			     [synsem [loc [cat [subj #subj,
						subcat #sc,
						ucomps #uc,
						vcomp #vc ],
					   cont [--key #--key,
						 hook #hook,
						 key #key,
						 rels <! #pkey & [LBL #l,
								  ARG0 event & [e no_tam],
								  ARG1 #ev], 
								   #key & 
						       [lbl #l,
							ARG0 #ev] !>]]]]>].

MAL-local-doublet := MAL-binary-rule-type &
		     [synsem #ss & [LEX +,
				    PHRASE -,
				    LOC [CAT #cat,
					 CONT [HOOK #h,
					       --KEY #k]
					 ],
				    NONLOC #nloc
				    ],
		      MAL +,
		      MALRULE.MAL-DOUBLET.MAL-LOCAL-DOUBLET +,
		      LR #lr & [lr_inflected +],
		      morph #m,
		      ARGS <[morph.LIST.FIRST [ HEAD #mhead,
						--STEM #stem ],
			     lr #lr,
			     synsem  [LEX +,
				      PHRASE -,
				      LOC [CAT #cat,
					   CONT [HOOK #h,
						 --KEY #k]
					       ],
				      NONLOC #nloc
					  ]],
			    [morph #m & [ LIST.FIRST [ HEAD #mhead,
						       --STEM #stem ]],
			     lr #lr,
			     synsem #ss]>].