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

;;; Authors: 
;;; 1997-2000 Walter Kasper & Stefan Müller
;;; 2000-2002 Stefan Müller
;;; 2002-2006 Berthold Crysmann

;;; Copyright: DFKI GmbH






inher-anc-lrule :=
		  lrule & 
		  [synsem.loc.anc #anc ,
		   ARGS <[synsem.loc.anc #anc]>
				  ].



infl_lrule-sign :=
		  infl_lrule   & 
		  lexical-sign & 
		  [ARGS < lexical-sign >].

infl_lrule-arche-form :=
  infl_lrule & 
  stem       & [
  ARGS < arche-form >
  ].


noninfl-lrule :=
  inher-anc-lrule & [ 
  ARGS < stem & [lr.lr_inflected +]>
  ].

final-lrule :=
	      lexical-sign  &
	      noninfl-lrule & 
	      [lr lr-syntax
		  ].

post-infl-lrule :=
		  lrule & 
		  [lr.lr_inflected #i,
		   args <[lr.lr_inflected #i & +]>].

nonfinal-noninfl-lrule :=
  stem &
  noninfl-lrule.

clex-lrule :=
  final-lrule & 
  lexical-nonloc-default.

clex-id-lrule :=
  clex-lrule & [
  morph  #m,
  synsem #synsem,
  ARGS <   [ morph #m,
             synsem #synsem 
           ]
        >
   ].

inher-nonloc-lrule :=
  inher-nonloc &
  noninfl-lrule.


mark-no-rel := stem-or-sign & [
   synsem.loc.cat.subcat.list *eps-no-rel-synsem-list*
   ].

mark-undef-nonlocs := lrule & 
		      *mark-undef-nonlocs*.

*mark-undef-nonlocs* := *lrule* & [
   synsem.loc.cat [ head.subj < [ nonloc undef-nonlocs ] >,
                    subcat.list  *eps-undef-nonlocs-synsem-list*
                  ]
   ].

     
no-rel-inher-nonloc-lrule :=
			    mark-no-rel &
			    inher-nonloc-lrule &
			    [synsem.que #que,
			     args <[synsem.que #que]>].

nonfinal-no-rel-inher-nonloc-lrule :=
  nonfinal-noninfl-lrule &
  no-rel-inher-nonloc-lrule.

final-inher-nonloc-lrule :=
  final-lrule &
  inher-nonloc-lrule.

final-no-rel-inher-nonloc-lrule :=
  final-inher-nonloc-lrule &
  no-rel-inher-nonloc-lrule.


fin-flex-final-lrule :=
		       fin-verb-flex &
		       post-infl-lrule & 
		       final-lrule.


fin-lrule :=
	    post-infl-lrule &
	    final-lrule & [morph  #m,
			   synsem fin-verb-synsem & #synsem & [
	  loc [ _third -,
		cat.head v-final-head,
		cont.hook.index.e  tensed,
		anc [self <! !>,
		     active <! !>,
		     inert <! !>],
                sgf sgf-lor-
              ]
          ],

   ARGS <   [
            morph  #m,
            synsem #synsem,
            lr.basic  'no
            ]
        > 
   ].


v1-fin-lrule-rb :=
		  post-infl-lrule &
		  final-inher-nonloc-lrule &  
		  [morph  #m,
		   synsem fin-verb-synsem & 
			  [loc [sgf #sgf,
				cat [head   #h & initial_+_fin-verb-head,
				     subj <>,
				     subcat <! saturated-comp-fin-verb-synsem & 
					     [loc [cat [head eps-verb-head & 
							     [_v1-hd #v1-hd,
							      _v1 #v1,
							      v1 #v1 & fin-verb-local & 
								  [cat [head   #h,
									subj #subj,
									subcat #subcat,
									vcomp  #vcomp 
									       ]
								       ]
								  ]
							     ],
						   cont [hook [index #index,
							       ltop #handle]],
						   sgf #sgf
						       ]
						  ]
					       !> & [LAST *null*],
				       vcomp  <>],
				 adjunction  unmodifiable,
				 cont #cont & [hook [index #index & [--sub -],
						     ltop #handle]],
				 anc anc-inactive
				     ],
			   v2 #v2
	  ],
		   lr.basic  'stop,
		   ARGS <   [morph  #m,
			     synsem fin-verb-synsem & [ 
		   loc [ cat [ head   #h,
			       subj #subj,
			       subcat #subcat,
			       vcomp  #vcomp & <[loc [cat.head #v1-hd]] , ...>
			       ],
			 cont #cont],
							v2 #v2
		   ],
            lr [basic  'no]
				    ]
			    > 
   ].

v1-fin-lrule-no-rb :=
		     post-infl-lrule &
   final-inher-nonloc-lrule &  [
   morph  #m,
   synsem fin-verb-synsem & [ 
          loc [ cat [ head   #h & initial_+_fin-verb-head & [extra na_or_+],
                      subj #subj,
                      subcat #subcat & [LAST *null*],
                      vcomp #vcomp
                      ],
		cont #cont & [hook.index [--sub -]],
		sgf sgf-lor-
                    ],
            v2 #v2
          ],
   lr.basic  'stop,
   ARGS <   [
            morph  #m,
            synsem fin-verb-synsem & [ 
                   loc [ cat [ head   #h,
                               subj #subj,
                               subcat #subcat,
                               vcomp #vcomp & *list* & *null*
                             ],
			 cont #cont
                         ],
                     v2 #v2
                  ],
            lr [basic  'no]
            ]
        > 
   ].





particle-lrule :=
		 stem &
		 spell-lrule &
		 inher-nonloc &
		 constr-type &
		 [needs-affix +,
		  morph  <! [head #m] !>,
		  c-cont [rels <! #partrel !>,
			  hcons <! !>],
		  synsem verb-synsem & 
			 [loc [ anc #anc ,
				cat [ head  #h & initial_-_-head,
				      vcomp #vcomp & *vc-eps-list*,
				      subj #subj,
				      subcat #sc,
				      auxf #auxf
					    ],
				cont [key #k,
				      hook [index #index,
					    ltop #lbl],
				      modcont.hook #modcont,
				      hcons #hcons,
				      rels [list <#partrel . #rels>,
					    last #rlast]],
				adjunction #adj,
				erg #erg
				    ],
			  v2 #v2,
			  nonloc contains-no-rel
			      ],


		  lr [lr_inflected #i & +,
		      p -,
		      basic  #basic,
		      reorder #r],
		  ARGS <   [ morph  <! [head #m & [mclass vclass]] !>,
			     synsem particle-or-more-verb-synsem &
				    [loc [ anc #anc,
					   cat [ head  #h,
						 vcomp <particle-sep-or-nonsep-synsem & 
							[loc.cont.key #partrel] . #vcomp>,
						 subj #subj,
						 subcat #sc,
						 auxf #auxf
						       ],
					   cont [key #k,
						 hook [index #index,
						       ltop #lbl],
						 modcont.hook #modcont,
						 hcons #hcons,
						 rels [list #rels,
						       last #rlast]],
					   adjunction #adj,
					   erg #erg
					       ],
				     v2 #v2
					 ],
			     lr [lr_inflected #i,
				 p  bool,
				 basic  #basic & 'yes,
				 reorder #r & 'yes]
				    ]
			   > 
			 ].




SILR-lrule :=
	     post-infl-lrule &
             fin-verb-flex &
             nonfinal-no-rel-inher-nonloc-lrule & [
   morph  #m,
   synsem fin-verb-synsem & [ 
          loc [ cat [ head  #h & [subj <>],
                      vcomp #vcomp,
                      subj #subj,
                      subcat #sc
                    ],
                cont #cont,
                adjunction #adj
              ],
          v2 #v2
          ],
   cle -,
   lr [basic  'no],
   ARGS <   [ morph  #m & <! morph-type & [ 
                             head.FIN.E #temo
                             ]

                          !>,
              synsem verb-synsem & [ 
                     loc [ cat [ head  #h,
                                 vcomp #vcomp,
                                 subj #subj,
                                 subcat #sc
                               ],
                           cont #cont & [ hook [INDEX.E #temo]
                                        ],
                           adjunction #adj
                          ],
                      v2 #v2
                    ],
            lr.basic  'yes
            ]
        > 
   ].


pers-SILR-lrule :=
                  SILR-lrule &
                  [
   ARGS <   [
            morph  <! [ head.fin [uniagr #agr & [png #png]]
                           ] !>,
             synsem.loc [cat.subj < noun-synsem & [
                                       loc [ cat.head.cas struc-nom,
                                             cont.hook.INDEX [png #png
                                                        ],
                                             uniagr #agr & n-n-g & [cas struc-nom]
                                           ]
                                       ] >
                                 ]
            ]
        > 
   ].




unpers-SILR-lrule :=
   SILR-lrule & [
   ARGS <   [
            morph  <! [ head.fin.uniagr.png 3-s-g
                      ] !>,
            synsem.loc.cat [ subj *empty-or-clausal-complement-synsem-list*
				  ]
            ]
        > 
   ].



pvp-lrule :=
	    stem &
	    post-infl-lrule &
	    fin-verb-flex &
	    slash-intro-sign &
	    [morph  #m,
	     synsem fin-verb-synsem & 
		    [loc [ cat [ head  #h ,
				 vcomp <>,
				 subj #subj,
				 subcat.list  *eps-undef-nonlocs-synsem-list*
				       ],
			   cont #cont & [hook.index.--tpc tpc-event],
			   anc anc-inher & [self <! !>,
					    active [list #a1,
						    last #a2],
					    inert <! !>]
                                ],
		     nonloc contains-slash & [_topic-drop -,
					      rel #rel,
					      slash #slash
						  ],
		     v2 #v2
			 ],
	     cle -,
	     lr [basic  'no,
		 reorder 'no],
	     ARGS <   [ morph  #m & <! morph-type & [ 
			     head.FIN.E #temo
			     ]
				     !>,
			synsem verb-synsem
			       & 
			       [loc [ cat [ head  #h & initial_+_fin-verb-head,
					    vcomp < sp-or-prd-adj-or-non-fin-verb-synsem & 
						    [loc #vcomp & 
							 [cat sp-or-prd-adj-or-non-fin-verb-cat & 
							      [vcomp <>,
							       subcat.list  *eps-2-list*
								     ]],
						     nonloc.slash #slash & 
							 singleton-diff-list & 
							 [LIST.FIRST #vcomp & [cat [drop -, 
									     head [extra na_or_-,
										   top +]
											 ],
									       anc anc-inher & 
										   [self [list #a1,
											  last #a1],
										    active [list #a1,
											    last #a2]
											 ] 
										   ]
								     ]]>,
					    subj #subj
						  ],
				      cont #cont & [ hook.INDEX.E #temo
								  ]
					  ],
				nonloc contains-no-slash & 
				    [rel #rel,
				     slash <! !>],
				v2 #v2
				    ],
			lr [basic  'no,
			    reorder 'no
				   ]
			       ]
		      > 
		    ].




non-fin-SILR-lrule :=
		     post-infl-lrule &
		     nonfinal-no-rel-inher-nonloc-lrule & [
   morph  #m,
   synsem non-fin-verb-synsem & [
          loc [ cat [ head   #h & [
                             subj #subj
                             ],
                             auxf #auxf,
                             auxt #auxt,
                      subcat #sc,
                      vcomp  #vcomp & *vc-sp-eps-list*
                     ],
                cont #cont & [hook.index event & [--psv #psv]]
              ],
          v2 #v2
          ],
   lr.basic  'no,
   ARGS <   [
            morph  #m &
            [ LIST.FIRST.HEAD.fin [--psv #psv,
				   e tam] 
            ],
            synsem [ loc [ cat [ head   #h,
                                 auxf   #auxf,
                                 auxt   #auxt,
                                 subj   #subj,
                                 subcat #sc,
                                 vcomp  #vcomp
                               ],
                           cont #cont
                         ],
                     v2 #v2
                  ],
            lr.basic  'yes
            ]
        >
   ].


non-fin-lrule := 
		 post-infl-lrule &
		 clex-lrule & [
   morph  #m,
   synsem non-fin-verb-synsem & [
          loc [ cat [ head #h,
                      subcat #sc,
                      vcomp  #vcomp & *vc-sp-eps-list*
                    ],
                cont #cont
              ],
          lex #lex,
          phrase #phrase,
          nonloc #nonloc,
          que    #que
          ],
   ARGS <   [ morph #m,
              synsem [ loc [ cat [ head #h,
                                   subcat #sc,
                                   vcomp  #vcomp
                                 ],
                             cont #cont
                           ],
                       lex #lex,
                       phrase #phrase,
                       nonloc #nonloc,
                       que    #que
                     ],
              lr.basic  'no
            ]
        >
   ].

perfective-non-fin-lrule :=
  non-fin-lrule & [
  synsem ppp-verb-synsem & [
         loc [ cat.head  [  auxf   #auxf,
                            auxt   #auxt
                         ],
               cont [hook.index [e [perfective #perf & +]]]
             ]
         ],
  morph.LIST.FIRST.HEAD [VFORM ppp-sm],
  args < [synsem.loc [cat [  auxf   #auxf,
                            auxt   #auxt
				    ],
		      cont.hook.index.e [perfective #perf ]
         ]]
	 >
  ].

tensed-non-fin-lrule :=
		       non-fin-lrule & 
		       [synsem.loc.cont.hook.index.e tam & 
						   [tense no_inh_tense,
						    perfective #p],
			morph <! [head [vform inf-bse-sm,
					fin.e [tense no_inh_tense,
					       perfective #p]]]!>
						   ].

super-pers-passiv-lrule :=
			  post-infl-lrule &
			  final-no-rel-inher-nonloc-lrule &  [
   morph  #m,
   synsem non-fin-verb-synsem & [ 
          loc [ cat [ head   passive-verb-head & [
                               subj    < saturated-ref-comp-noun-synsem & [
                                         loc [ cat.head [ cas       struc-nom,
                                                          mass-noun #erg-mass-noun,
                                                          prd       #erg-prd
                                                        ],
                                               cont #erg-cont & [hook.index #i],
                                               uniagr n-n-g & [cas struc-nom]
                                             ],
                                          nonloc #erg-nonloc
                                         ]
                                       >,
                               aux     #aux,
                               flip    #flip
                               ],
                      vcomp  #vcomp & *vc-sp-eps-list*
                    ],
		anc [self <! !>,
		     active <! !>,
		     inert <! !>], 
                cont #cont & [message.psv #i,
			      hook [index event & [--psv +,
						   e.stative bool]]] 
              ],
          v2 #v2
          ],
   lr.basic  'stop,
   ARGS <    
            [
            morph  #m & [ 
                   LIST.FIRST.HEAD [ fin.e tam,
                                     VFORM ppp-sm
                                   ]
                   ],           
            synsem verb-synsem & [ 
                   loc [ cat [ head   ppp-verb-head & [
                                          aux     #aux,
                                          flip    #flip,
                                          passive +
                                        ],
                                 subj   < ref-comp-noun-synsem >,
                                 vcomp  #vcomp
                               ], 
                            erg     < saturated-ref-comp-noun-synsem & [
                                      loc [ cat [ head [ mass-noun #erg-mass-noun,
                                                         prd       #erg-prd
                                                       ]
                                                ],
                                            cont #erg-cont
                                          ],
                                      nonloc #erg-nonloc
                                      ]
                                    >,
                          cont #cont
                         ],
                     v2 #v2
                   ],
             lr.basic  'yes 
            ]
        >
   ].

erg-subtract-lrule-1 := 
   *lrule* & [
   synsem.loc.cat.subcat.list #rest,
   ARGS <    
            [         
            synsem.loc [ cat.subcat.list < #erg . #rest > ,
                         erg          < #erg >
                       ]
            ]
        >
   ].

erg-subtract-lrule-2 := 
   *lrule* & [
   synsem.loc.cat.subcat.list <#1 . #rest>,
   ARGS <    
            [         
            synsem.loc [ cat.subcat.list <#1,  #erg . #rest > ,
                         erg          < #erg >
                       ]
            ]
        >
   ].

erg-subtract-lrule-3 := 
   *lrule* & [
   synsem.loc.cat.subcat.list <#1,#2 .#rest>,
   ARGS <    
            [         
            synsem.loc [ cat.subcat.list < #1, #2, #erg . #rest > ,
                         erg          < #erg >
                       ]
            ]
        >
   ].




non-state-passive-lrule :=
			  *lrule* &
			  [synsem.loc.cont.hook.index.e.stative -].
			  



erg-subtract-lrule-pp-1 := 
   *lrule* & [
   synsem.loc.cat.subcat.list < comp-pp-synsem &
                                [ loc [ cat [ head [ pform durch-von-pform
                                                           ], 
                                              _drop -
                                                   ],
                                        cont.hook  [index #ref-subj],
                                        uniagr d-n-g
                                            ]
                                      ] . #rest>,
   ARGS <    
            [         
	    synsem.loc [ cont [hook [index event]],
			 cat [subj <[loc.cont.hook.index #ref-subj]>,
                              subcat.list < #erg . #rest >] ,
                         erg          < #erg >
                       ]
            ]
        >
   ].

erg-subtract-lrule-pp-2 := 
			   *lrule* & 
			   [synsem.loc.cat.subcat.list < comp-pp-synsem &
							 [loc [cat [head [pform durch-von-pform
										], 
								    _drop -
									 ],
							       cont.hook [index #ref-subj],
							       uniagr d-n-g
								   ]
							      ], #e1 . #rest>,
			    ARGS <[synsem.loc [cat [subj <[loc.cont.hook.index #ref-subj]>,
						    subcat.list < #e1, #erg . #rest >] ,
					       erg          < #erg >
						   ]
					      ]
				  >
						       ].

erg-subtract-lrule-pp-3 := 
			   *lrule* & 
			   [synsem.loc.cat.subcat.list < comp-pp-synsem &
							 [ loc [ cat [ head [ pform durch-von-pform
										    ], 
								       _drop -
									    ],
								 cont.hook [index #ref-subj],
								 uniagr d-n-g
								     ]
							       ], #e1, #e2 . #rest>,
			    ARGS <[synsem.loc [ cat [subj <[loc.cont.hook.index #ref-subj]>,
						     subcat.list < #e1,#e2, #erg  . #rest >] ,
						erg          < #erg >
						    ]
					      ]
				  >
						       ].




pers-passiv-lrule-1 :=
		      super-pers-passiv-lrule &
		      erg-subtract-lrule-1.


pers-passiv-lrule-2 :=
		      super-pers-passiv-lrule &
		      erg-subtract-lrule-2.

pers-passiv-lrule-3 :=
		      super-pers-passiv-lrule &
		      erg-subtract-lrule-3.


pers-passiv-pp-lrule-1 :=
			 super-pers-passiv-lrule &
			 erg-subtract-lrule-pp-1 &
			 non-state-passive-lrule.

pers-passiv-pp-lrule-2 :=
			 super-pers-passiv-lrule &
			 erg-subtract-lrule-pp-2 &
			 non-state-passive-lrule.

pers-passiv-pp-lrule-3 :=
			 super-pers-passiv-lrule &
			 erg-subtract-lrule-pp-3 &
			 non-state-passive-lrule.



lrule-adj-non-prd-sign :=
			 *lrule* & 
			 adj-non-prd-sign &
			 [synsem [loc [cat.head mod-adj-head,
				       anc anc-inher &
						[self <! !>,
						 active <! !>,
						 inert <! !>]],
				  que <! !>]].


participle-lrule :=
		   stem-or-lex-sign &
		   lrule-adj-non-prd-sign &
		   *mark-undef-nonlocs* &    
		   spell-lrule &
		   [synsem [loc [cat [head mod-participle-head & 
					   [mod  [ loc [cat [ head.cas.morph-case #case,
							      spr < [ loc.cat.head.infl [NP-DECL #dtype,
											 DEF-AGR #defagr,
											 NODEF-AGR #nodefagr
												 ] ] >
										  ],
							     uniagr #uniagr]]]],
				 cont [key.lbl #l,
				       modcont.hook [ltop #l,
						     index.png #png]]]],
		    lr [lr_inflected -,
			reorder #reorder],
		    morph <! [ HEAD axmorph-head & [ mclass aclass_-u,
				      INFL [decl #dtype,
					    uniagr #uniagr & [cas.morph-case #case,
							      png #png],
						      def-agr #defagr,
					    nodef-agr #nodefagr
						 ]
					     ]
				    ] !>,
		    args < [synsem verb-synsem & 
				   [loc.cont.hook.index.e [tense no_tense,
							   mood no_mood]],
			    lr [lr_inflected +,
				reorder #reorder],
			    morph <! [head vmorph-inf-head  ] !>] >].

participle-nerg-lrule :=
			participle-lrule &
			[
			 synsem [ loc [ cat [ head   [subj < #erg >]],
					cont #cont &
					    [ hook [INDEX.E [perfective +]],
					      MODCONT.HOOK [ INDEX #ind,
							     ltop #hand  ] 
						      ]
					    ],
				  nonloc #nl
				      ],
			 lr.basic  'yes,
			 ARGS <   [synsem verb-synsem & 
					  [loc [ cat [ head  adjective-infl-verb-head  &
							     [vform ppp-sm],
						       vcomp  <>
							     ],
						 erg    < #erg & 
							  [ LOC.CONT.hook [ INDEX  #ind,
									    ltop #hand ] ] 
							  >,
						 cont #cont
						     ],
					   nonloc #nl & undef-nonlocs
					       ],
				   lr.basic 'yes
					  ]
				  >
				].

participle-nerg-lrule-1 :=
			  participle-nerg-lrule &
			  erg-subtract-lrule-1.

participle-nerg-lrule-2 :=
			  participle-nerg-lrule &
			  erg-subtract-lrule-2.


participle-nerg-lrule-pp-1 :=
			     participle-nerg-lrule &
			     erg-subtract-lrule-pp-1.

participle-nerg-lrule-pp-2 :=
			     participle-nerg-lrule &
			     erg-subtract-lrule-pp-2.


participle-erg-rule :=
		      participle-lrule & 
		      [
		       synsem [ loc [ cat [ head [subj < #erg >],
					    subcat #adj-subcat
						  ],
				      CONT #cont &
					  [ hook [INDEX.E  [perfective +]],
					    MODCONT.HOOK [ INDEX #ind ,
						      ltop #hand  ]  ]
					  ],
				nonloc #nl
				    ],
		       lr.basic 'yes,
		       ARGS < [synsem verb-synsem & 
				      [loc [ cat [ head   adjective-infl-verb-head &
							  [vform ppp-sm],
						   subj   < #erg >,
						   subcat #adj-subcat,
						   vcomp  <>
							  ],
					     erg    < #erg & synsem &
						      [ LOC.CONT.hook [ INDEX #ind,
									ltop #hand ] ] 
						      >,
					     cont #cont
						 ],
				       nonloc #nl & undef-nonlocs
					   ],
			       lr.basic 'yes
				      ]
			      >
			      ].


;; der auszubildende Lehrling 

participle-zu-inf-lrule :=
			  participle-lrule &
			  [synsem [ loc [ cat [ head   [subj < #erg >] 
						       ],
					  cont #cont &
					      [ hook [INDEX.E tam & [perfective -]],
						MODCONT.HOOK [ INDEX #ind,
							       ltop #hand  ] ]
					      ],
				    nonloc #nl
					],
			   lr.basic  'yes,
			   ARGS <   [morph <! [ head vx-sup-zu] !>,
				     synsem verb-synsem & 
					   [loc [ cat [ head   adjective-infl-verb-head & [vform inf-sm],
							vcomp  <>
							       ],
						  erg    < #erg & 
							   synsem &
							   [ LOC.CONT.hook [ INDEX  #ind,
									     ltop #hand ] ] 
							   >,
						  cont #cont
						      ],
					    nonloc #nl & undef-nonlocs
						],
				     lr.basic 'yes
					   ]
				    >
				  ].



;; die den Mann liebende Frau
participle-bse-rule :=
		      participle-lrule &
		      [synsem [ loc [ cat [ head   [subj < #subj >],
					    subcat #subcat,
					    vcomp  #vcomp & *vc-sp-eps-list*
						   ],
				      CONT #cont &
					  [ hook [INDEX [--psv -,
							 E  tam & [perfective -]]],
					    MODCONT.HOOK [ INDEX #ind ,
							   ltop #hand  ]  ]
					  ],
				nonloc #nl
				    ],
		       lr.basic 'yes,
		       ARGS <   [synsem verb-synsem & 
					[ loc [ cat [ head   [vform bse-sm],
						      subj   < #subj & synsem &
							       [ LOC.CONT.hook [ INDEX #ind,
										 ltop #hand ] ] 
							       >,
						      subcat #subcat,
						      vcomp #vcomp
							     ],
						cont #cont
						    ],
					  nonloc #nl & undef-nonlocs
					      ],
				 lr.basic 'yes
					]
				>
			      ].



participle-noagr-bse-rule :=
			    final-lrule &
			    spell-lrule &
			    [lr [lr_inflected +,
				 reorder #r],
			     morph  <! [head #m] !>,
			     synsem a-v-modifier-synsem &
				    [ loc [ cat [ head.mod.loc.cat.head.subj <#subj>, 
						  subcat #subcat,
						  vcomp  #vcomp & *vc-sp-eps-list*
									     ],
					 CONT #cont     
					     ],
				   nonloc #nl,
				   que #que
				   ],
   lr.basic 'stop,
   ARGS <   [
            morph  <! morph-type &
		    [ HEAD #m & vmorph-inf-head]
		    
		    !>,
	     synsem verb-synsem & 
	    [ loc [ cat [ head   adjective-infl-verb-head,
			  subj <#subj>,
			  subcat #subcat,
			  vcomp #vcomp 
				 ],
		    cont #cont
			],
	      nonloc #nl & undef-nonlocs,
	      que #que & <! !>
		  ],
	    lr [lr_inflected +,
		reorder #r,
		basic 'yes]
	    ]
	    >
				].



participle-zu-inf-lrule-1 :=
  participle-zu-inf-lrule &
  erg-subtract-lrule-1.

participle-zu-inf-lrule-2 :=
  participle-zu-inf-lrule &
  erg-subtract-lrule-2.


participle-zu-inf-lrule-pp-1 :=
  participle-zu-inf-lrule &
  erg-subtract-lrule-pp-1.


participle-zu-inf-lrule-pp-2 :=
  participle-zu-inf-lrule &
  erg-subtract-lrule-pp-2.





incoh-to-coh-transport-rule :=
			      post-infl-lrule &
			      nonfinal-noninfl-lrule &
                              [synsem [loc [ erg #erg,
					     cat [ head     #h,
						   subj     #subj,
                                                   log-subj #lsubj,
						   auxf #auxf
                                                            ],
					     cont [HCONS [LIST  #hcons,
                                                           LAST #last],
						   hook [ltop #hand,
							 index #ind],
						   RELS #liszt,
						   key #key,
						   message #message,
						   modcont.hook #modcont
                                                         ],
                                            adjunction #adj
                                                ],
                                       nonloc #nl,
                                       v2 #v2],
                               ARGS <[synsem [loc [ erg #erg,
						    cat [ head     #h,
                                                          subj     #subj,
                                                          log-subj #lsubj,
							  auxf #auxf,
                                                          subcat [
                                                                  last *null* ]],
                                                    cont [HCONS [LIST #hcons,
                                                                  LAST #last],
                                                          hook [ltop #hand,
								index #ind],
                                                          RELS #liszt,
                                                          key #key,
                                                          message #message,
                                                          modcont.hook #modcont
                                                                 ],
                                                    adjunction #adj
                                                                   ],
                                              nonloc #nl,
                                              v2 #v2]]>].


particle-verb-incoh-to-coh-lrule :=  
                                     incoh-to-coh-transport-rule &
                                     [morph  #m,
                                      synsem particle-or-more-verb-synsem &
                                             [loc.cat [vcomp <#vcomp, 
                                                              coherent-complement-verb-synsem &
                                                              [loc [cat [head [mod #mod,
                                                                               v1 #v1,
                                                                               prd #prd,
                                                                               extra na_or_-,
                                                                               top #top,
                                                                               flip #flip,
                                                                               subj #vsubj,
                                                                               aux #aux,
                                                                               log-subj #log-subj,
                                                                               vform #vform,
                                                                               passive #passive
                                                                               ],
                                                                         spr #spr,
                                                                         vcomp <>,
                                                                         no_adj #no_adj,
                                                                         gf #gf,
                                                                         extra-poss #extra-poss
                                                                              ],
                                                                    cont #cont,
                                                                    coord #coord,
                                                                    adjunction #adjunction,
                                                                    erg #erg],
                                                               nonloc #nonloc,
                                                               que #que,
                                                               lex #lex,
                                                               phrase -,
                                                               v2 #v2,
                                                               ellipse #ellipse,
                                                               lex-complete #lex-complete,
                                                               cat-change #cat-change] >]],
                                      cle -,
                                      lr [reorder 'yes,
                                          basic   'yes
                                                  ],
                                      ARGS <   [ morph  #m,
                                                 synsem particle_+vc-verb-synsem & 
                                                        [loc.cat [vcomp <#vcomp & particle-synsem>,
								  head initial_+_fin-verb-head,
                                                                  subcat.list <saturated-comp-inf-verb-synsem &
                                                                          [loc [cat [head  [mod #mod,
                                                                                           v1 #v1,
                                                                                           prd #prd,
                                                                                           extra na_or_+,
                                                                                           top #top,
                                                                                           flip #flip,
                                                                                           subj #vsubj,
                                                                                           aux #aux,
                                                                                           log-subj #log-subj,
                                                                                           vform #vform,
                                                                                           passive #passive
                                                                                               ],
                                                                                     spr #spr,
                                                                                     vcomp <>,
                                                                                     no_adj #no_adj,
                                                                                     gf #gf,
                                                                                     extra-poss #extra-poss
                                                                                          ],
                                                                                cont #cont,
                                                                                coord #coord,
                                                                                adjunction #adjunction,
                                                                                erg #erg],
                                                                           nonloc #nonloc,
                                                                           que #que,
                                                                           lex #lex,
                                                                           v2 #v2,
                                                                           ellipse #ellipse,
                                                                           lex-complete #lex-complete,
                                                                           cat-change #cat-change], ... >]],
                                                 lr [reorder 'yes,
                                                     basic   'yes
                                                             ]]
                                               > ].




incoh-to-coh-lrule := incoh-to-coh-transport-rule & 
                      [morph  #m,
                       synsem verb-synsem & 
                              [loc.cat [vcomp < coherent-complement-verb-synsem &
                                                [loc [cat non-fin-verb-cat & 
                                                          [head [mod #mod,
                                                                 v1 #v1,
                                                                 prd #prd,
                                                                 extra na_or_-,
                                                                 top #top,
                                                                 flip #flip,
                                                                 subj #vsubj,
                                                                 aux #aux,
                                                                 log-subj #log-subj,
                                                                 vform #vform,
                                                                 passive #passive
                                                                     ],
                                                           spr #spr,
                                                           vcomp <>,
                                                           _drop -,
                                                           drop -,
                                                           no_adj #no_adj,
                                                           gf #gf,
                                                           extra-poss #extra-poss,
                                                           erg-subtr -],
                                                      cont #cont,
                                                      coord #coord,
                                                      adjunction adjunction,
                                                      erg #erg],
                                                 nonloc #nonloc,
                                                 que #que,
                                                 lex #lex,
                                                 phrase -,
                                                 v2 #v2,
                                                 ellipse #ellipse,
                                                 lex-complete #lex-complete,
                                                 cat-change #cat-change]
                                                >]],
                       cle -,
                       lr [reorder 'yes,
                           basic   'yes
                                   ],
                       ARGS <   [ morph  #m,
                                  synsem verb-synsem & 
                                         [loc.cat [vcomp <>,
                                                   subcat.list <saturated-comp-inf-verb-synsem &
                                                           [loc [cat non-fin-verb-cat & 
                                                                     [head [mod #mod,
                                                                            v1 #v1,
                                                                            prd #prd,
                                                                            extra na_or_+,
                                                                            top #top,
                                                                            flip #flip,
                                                                            subj #vsubj,
                                                                            aux #aux,
                                                                            log-subj #log-subj,
                                                                            vform #vform,
                                                                            passive #passive
                                                                                ],
                                                                      spr #spr,
                                                                      vcomp <>,
                                                                      no_adj #no_adj,
                                                                      gf #gf,
                                                                      extra-poss #extra-poss],
                                                                 cont #cont,
                                                                 coord #coord,
                                                                 erg #erg],
                                                            nonloc #nonloc,
                                                            que #que,
                                                               lex #lex,
                                                            phrase bool,
                                                            v2 #v2,
                                                            ellipse #ellipse,
                                                            lex-complete #lex-complete,
                                                            cat-change #cat-change]
                                                           , ...>]],
                                  lr [reorder 'yes,
                                      basic   'yes
                                              ]
                                         ] > ].




reorder-lrule :=
		headed-unary-rule & 
		[synsem verb-synsem & 
			[loc [ erg #erg,
			       cat [ head     #h, 
				     subj     #subj,
				     log-subj #lsubj,
				     vcomp    #vcomp & *vc-sp-eps-list* ,
				     auxf #auxf
					      ],
			       cont #cont,
			       anc #anc,
			       adjunction #adj
				   ],
			 que #que,
			 nonloc #nl & undef-nonlocs,
			 v2 #v2,
			 lex +,
			 phrase - 
			     ],
		 lr [ lr_inflected #inf,
		      reorder 'no,
		      basic   'stop
				   ],
		 ARGS <   [morph  <! [head vmorph-head] !>,
			   synsem verb-synsem & 
				  [loc [ anc #anc,
					 erg #erg,
					 cat [ head     #h,
					       subj     #subj,
					       log-subj #lsubj,
					       vcomp    #vcomp,
					       auxf #auxf
							],
					 cont #cont,
					 adjunction #adj
					     ],
				   que #que,
				   nonloc #nl,
				   v2 #v2,
				   lex +,
				   phrase -
				       ],
			   lr [lr_inflected #inf,
			       reorder 'yes,
			       basic 'stop
					    ]
				  ]
        >
			].


general-adj-lrule :=
	    clex-lrule &
	    constr-unary-lrule &
	    [c-cont [hcons <! !>],
	     ARGS <   infl_lrule & 
		      [morph  <! morph-type &
			       [ HEAD amorph-head ] !>
				      ]
		      >
		    ].
adj-lrule :=
	    general-adj-lrule  &
	    [synsem.loc.cat #cat,
	     ARGS <[synsem.loc.cat #cat]>
		    ].


norm-adj-prd-lrule :=
		     adj-lrule &
		     adj-prd-sign & 
		     [synsem.loc.cont [hook.index #i & 
						  [e tam],
				       key.arg0 #i]].

norm-adj-non-prd-lrule :=
			 adj-lrule &
			 adj-non-prd-sign & 
			 [synsem.loc.cont [hook.index #i & 
						      event & [e [tense no_tense,
								  mood no_mood]],
					   key.arg0 #i]].




adj-pos-lrule :=
		adj-lrule & 
		[c-cont [rels <! !>],
		 MORPH <! [ head.cpr pos         
				     ] 
			!>
			].

adj-pos-flex-lrule :=
  adj-pos-lrule & [
  MORPH <! [ head.cpr pos-infl         
           ] 
         !>
  ].

adj-comp-lrule :=
		 adj-lrule & 
		 [c-cont [rels <! [pred "comp_rel",
				   arg0 deg-ind,
				   arg1 #adj] !>],
		  args <[synsem.loc.cont.key [arg0 #adj] ]>,
		  MORPH <! [ head.cpr comp
				      ] 
			 !>
			 ].

adj-comp-flex-lrule :=
  adj-comp-lrule & [
  MORPH <! [ head.cpr comp-infl
           ] 
         !>
  ].

adj-super-lrule :=
		  adj-lrule & 
		  [c-cont [rels <! [pred "super_rel",
				    lbl #h,
				    arg0 deg-ind,
				    arg1 #adj] !>],
		   args <[synsem.loc.cont [hook [ltop #h],
					   key [arg0 #adj]] ]>,
		   MORPH <! [ head.cpr super
				       ] 
			  !>,
		   SYNSEM.LOC.CONT.KEY.SUPERL individual
			  ].

adj-super-flex-lrule :=
  adj-super-lrule & [
  MORPH <! [ head.cpr super-infl
           ] 
         !>
  ].


norm-adj-prd-lrule-pos :=
  norm-adj-prd-lrule & 
  adj-pos-lrule  & [
  MORPH <! [ head ax-pos-null         
           ] 
         !>,
  SYNSEM.lex-complete +
  ].


norm-adj-prd-lrule-comp :=
  norm-adj-prd-lrule &
  adj-comp-lrule & [
  MORPH <! [ HEAD ax-comp-null
           ]
         !>,
  SYNSEM.lex-complete +
  ].


norm-adj-prd-lrule-sup :=
  norm-adj-prd-lrule &
  comparable-sign    & 
  adj-super-lrule & [
  MORPH <! [ HEAD ax-super-en ]
         !>,
  SYNSEM.lex-complete -
  ].
 


norm-adj-non-prd-lrule-pos :=
			     norm-adj-non-prd-lrule & 
			     adj-pos-flex-lrule.

norm-adj-non-prd-lrule-comp :=
  norm-adj-non-prd-lrule &
  adj-comp-flex-lrule.

norm-adj-non-prd-lrule-sup :=
  norm-adj-non-prd-lrule &
  comparable-sign    & 
  adj-super-flex-lrule.


adv-flex-lr := 
  clex-id-lrule & 
  mod-adv-sign.


adv-flex-lr-0 := 
		 adv-flex-lr & 
		 [SYNSEM [ LOC.CONT      i-sect-adv-sem-type &
					 [ hook [INDEX #ind1,
						 LTOP #hand1],
					   MODCONT.HOOK 
						 [ INDEX #ind1,
						   ltop #hand1]],
			   lex-complete +
					 ]].


adv-flex-lr-0-0 := 
  adv-flex-lr-0 & [
  MORPH <! [ head px-adv-or-ax-pos-null ] !>].



adv-flex-lr-0-2 := 
  adv-flex-lr-0 & [
  MORPH <! [ head vx-sup-perf ] !> ].

adv-flex-lr-1 := 
  adv-flex-lr & [
  MORPH <! [ head amorph-head & [mclass aclass, 
                  CPR comp
                  ]           
           ] 
         !>,
  SYNSEM [ LOC.CONT i-sect-comp-adv-sem-type &
                           [ HOOK [INDEX #ind2,
				   LTOP #hand2],
                             MODCONT.HOOK [ INDEX #ind2,
					    ltop #hand2]],
               lex-complete +
           ]
  ].

adv-flex-lr-2 := 
  adv-flex-lr & [
  MORPH <! [ head amorph-head &
                       [ mclass aclass,
			 CPR   super,
                         INFL  [
                               UNIAGR.PNG p-p-g,
                                DECL 'we
                               ]
                       ]
           ] !>,
  SYNSEM [ LOC [ CONT i-sect-superl-adv-sem-type &
                           [ hook [INDEX #ind3,
				   ltop #hand3],
                             MODCONT.HOOK [ INDEX #ind3,
					    ltop #hand3 ]] 
                ],
        lex-complete -

        ]
].


pers-passiv-pp-lrule :=
   final-no-rel-inher-nonloc-lrule & [
   morph  #m,
   synsem non-fin-verb-synsem & [ 
          loc [ cat [ head   passive-verb-head & 
			     [subj < saturated-ref-comp-noun-synsem & [
					 loc [ cat.head [ cas       struc-nom,
							  mass-noun #erg-mass-noun,
							  prd       #erg-prd
								    ],
					       cont #erg-cont,
					       uniagr n-n-g & [cas struc-nom]
							],
								       nonloc #erg-nonloc
					 ]
                                       >,
			      aux     #aux
				   ],
		      subcat.list *cons* & [
			     FIRST comp-pp-synsem &
			     [ loc [ cat [ head [ pform durch-von-pform
							], 
					   _drop -
						],
				     cont.hook.index #ref-subj,
                                           uniagr d-n-g
					 ]
				   ]
                             ],
		      vcomp  #vcomp
			     ],
		cont #cont
		    ],
				  nonloc #nl,
				  v2 #v2
	  ],
   lr.basic  'stop,
				      ARGS <   
					       [
            morph  #m & 
            [ LIST.FIRST.HEAD [ fin.e untensed,
                                VFORM ppp-sm
                              ]
            ],           
            synsem verb-synsem & [ 
                   loc [ cat [ head   ppp-verb-head & 
				      [aux     #aux,
				       passive +
                                        ],
                               subj   < [ loc.cont.hook.index #ref-subj ] >,
                               vcomp  #vcomp & *vc-sp-eps-list*
                               ],
                                          erg    < saturated-ref-comp-noun-synsem & [ 
                                                   loc [ cat [ head [ mass-noun #erg-mass-noun,
                                                                      prd       #erg-prd
                                                                    ]
                                                             ],
                                                         cont #erg-cont
                                                       ],
                                                   nonloc #erg-nonloc
                                                   ]
                                                 >,
                          cont #cont & [index event & [--psv +,
						       e.stative -]]
                         ],
                     nonloc #nl,
                     v2 #v2
                  ],
            lr.basic  'yes
            ]
        >
   ].





super-unpers-passiv-pp-lrule :=
			       final-no-rel-inher-nonloc-lrule & 
			       [morph  #m,
				synsem non-fin-verb-synsem & 
				       [loc [ cat [ head   passive-verb-head & 
							   [subj    <>,
							    aux     #aux
								    ],
						    vcomp  #vcomp & 
							   *vc-sp-eps-list*],
					      cont #cont & 
						  [hook.index event & 
							 [--psv +,
							  e.stative -]]
						  ],
					v2 #v2
					    ],
				lr.basic  'stop,
				ARGS <   [morph  #m & 
						 <![ HEAD [ fin.e untensed,
							    VFORM ppp-sm
								  ]
							  ]!>,           
					  synsem verb-synsem & 
						 [loc [cat [head   ppp-verb-head &
								   [aux     #aux ,
								    subj   < [ loc.cont.hook.index  #i & 
												    [sort agentive
													  ]
												    ] >],
							    vcomp  #vcomp
								   ],
						       cont #cont & 
							   [key [arg1 #i]]
							   ],
						  v2 #v2
						      ],
					  lr.basic 'yes
						 ]
					 >
				       ].


insert-pp-1 := 
   lrule & [
   synsem.loc.cat.subcat.list < comp-pp-synsem &
                                [ loc [ cat [ head [ pform durch-von-pform
                                                           ], 
                                              _drop -
                                                   ],
                                        cont.hook [index #ref-subj],
                                        uniagr d-n-g
                                            ]
                                      ] . #rest>,
   ARGS <    
            [         
            synsem.loc [ cat [head.subj <[loc.cont.hook.index #ref-subj]>,
                              subcat.list  #rest ] ,
                         erg          < >
                       ]
            ]
        >
   ].


insert-pp-2 := 
   lrule & [
   synsem.loc.cat.subcat.list < #e1, comp-pp-synsem &
                                [ loc [ cat [ head [ pform durch-von-pform
                                                           ], 
                                              _drop -
                                                   ],
                                        cont.hook.index #ref-subj,
                                        uniagr d-n-g
                                            ]
                                      ] . #rest>,
   ARGS <    
            [         
            synsem.loc [ cat [head.subj <[loc.cont.hook.index #ref-subj]>,
                              subcat.list < #e1 . #rest >] ,
                         erg          < >
                       ]
            ]
        >
   ].


unpers-passiv-pp-lrule-0 := super-unpers-passiv-pp-lrule & 
			    insert-pp-1 & 
			    [synsem.loc.erg <>].


unpers-passiv-pp-lrule-1 := super-unpers-passiv-pp-lrule & 
			    erg-subtract-lrule-pp-1.


unpers-passiv-pp-lrule-2 := super-unpers-passiv-pp-lrule &
			    erg-subtract-lrule-pp-2.


unpers-passiv-pp-lrule-3 := super-unpers-passiv-pp-lrule &
			    erg-subtract-lrule-pp-3.





state-reflexive-lrule :=
   final-no-rel-inher-nonloc-lrule & [
   morph  #m,
   synsem non-fin-verb-synsem & [
          loc [ cat [ head   passive-verb-head & [ 
                               subj    #subj,
                               aux     #aux
                               ],
                      vcomp  #vcomp & *vc-sp-eps-list*
                    ],
                cont #cont & [index [e.stative +,
			      --psv +]]
              ],
          v2 #v2
          ],
   lr.basic  'stop,
   ARGS <   
            [
            morph  #m & 
            [ LIST.FIRST.HEAD [ fin.e untensed,
                                VFORM ppp-sm
                              ]
            ],           
            synsem verb-synsem & [ 
                   loc [ cat [ head   ppp-verb-head & [
                                          aux     #aux
                                        ],
                               subj    #subj,
                               vcomp  #vcomp
                             ],
                          erg     < refl-pronoun-synsem >,
                          cont #cont
                         ],
                     v2 #v2
                  ],
            lr.basic 'yes
            ]
        >
   ].

state-reflexive-lrule-1 :=
  state-reflexive-lrule &
  erg-subtract-lrule-1.