;;; -*- Mode: TDL; Coding: utf-8 -*- ;;; Authors: ;;; 1997-2000 Walter Kasper & Stefan Müller ;;; 2000-2002 Stefan Müller ;;; 2002-2006 Berthold Crysmann ;;; 2007 Nicolai Kilian ;;; Copyright: DFKI GmbH agr-local := local & [uniagr c-n-g]. case-agr-local := agr-local & [UNIAGR c-n-g & [CAS #cas ], CAT.HEAD.CAS #cas ]. png-agr-local := local & [UNIAGR c-n-g & [PNG #png], CONT.HOOK.INDEX.PNG #png ]. case-png-agr-local := case-agr-local & png-agr-local. noagr-local := local & [UNIAGR no-agr]. adj-agr-local := case-agr-local & adj-local. adj-noagr-local := noagr-local & adj-local. contains-no-rel_min := nonlocal_min. contains-no-slash_min := nonlocal_min. undef-nonlocs_min := contains-no-rel_min & contains-no-slash_min. contains-no-rel_min1 := contains-no-rel_min & nonlocal_rel_min & [rel ]. contains-no-slash_min1 := contains-no-slash_min & nonlocal_slash_min & [_slash , slash ]. contains-no-slash := nonlocal & contains-no-slash_min1. contains-no-rel := nonlocal & contains-no-rel_min1. undef-nonlocs := undef-nonlocs_min & contains-no-rel & contains-no-slash. undef-nonlocs-synsem_min := synsem_min0 & [nonloc undef-nonlocs_min ]. undef-nonlocs-synsem := synsem & undef-nonlocs-synsem_min & [nonloc undef-nonlocs]. def-nonlocs := nonlocal. singleton-diff-list := *diff-list* & [ LIST *cons* & [ FIRST *avm*, REST #last & *null* ], LAST #last ]. contains-rel := def-nonlocs & contains-no-slash & [ rel singleton-diff-list & ]. contains-slash := def-nonlocs & contains-no-rel & [_slash singleton-diff-list & , slash singleton-diff-list & ]. lexical-nonloc-default := sign & [ synsem [nonloc undef-nonlocs_min, que ] ]. lexical-syn-defaults := sign & [ synsem.loc.coord -, root - ]. grammar-or-mw-rule := *rule* & sign. grammar-rule := grammar-or-mw-rule & [morph no_morph, args *lr-infl-list*]. oind-unary-rule := unary-rule & [SYNSEM.LOC.CONT.HOOK [--OIND #oind], ARGS <[SYNSEM.LOC.CONT.HOOK [--OIND #oind]] > ]. *lrule* := oind-unary-rule & stem-or-lex-sign & [TOKENS #tokens, ORTH [FORM #form, FROM #from, TO #to, CLASS #class], ARGS <[TOKENS #tokens, ORTH [FORM #form, FROM #from, TO #to, CLASS #class]]>]. basic-punct-lrule := *lrule* & [ SYNSEM.PUNCT #punct, SIGNPUNCT #signpunct, MALRULE.MAL-COMMA-INFL #malc, ARGS < [ SYNSEM.PUNCT #punct, SIGNPUNCT #signpunct, MALRULE.MAL-COMMA-INFL #malc ] > ]. lrule := basic-punct-lrule & [ morph #m, LR lr & [ LR_INFLECTED + ], CLE bool, ARGS < [ morph #m ] > ]. lexical-sign := stem-or-lex-sign & sign & *rule*. infl_lrule := *infl_lrule* & [LR [LR_INFLECTED +, reorder #reorder], ARGS <[lr.reorder #reorder]> ]. ;;;--sind.png #png, vx_fin_infl_lrule := infl_lrule & stem & [needs-affix +, synsem.loc [cat [head.--sub #sub, log-subj.png #png], cont [key [arg0 #ev], hook.index #ev & event & [--sind #pn, --sub #sub, e [tense #tense, mood #mood, perfective #perf], --psv #psv]]], ARGS <[morph , LR.LR_INFLECTED -]>]. vx_pres+past_infl_lrule := vx_fin_infl_lrule & [ARGS <[morph ]>]. vx_nonfin_infl_lrule := infl_lrule & stem & [needs-affix +, ARGS <[morph , LR.LR_INFLECTED -]>]. vx_irr_infl_lrule := infl_lrule & stem & [needs-affix +, ARGS <[synsem.lkeys.mclass vclass-irr, LR.LR_INFLECTED -]>]. vx_fin_irr_infl_lrule := vx_fin_infl_lrule & [ARGS <[synsem.lkeys.mclass vclass-irr]>]. vx_pres+past_irr_infl_lrule := vx_fin_irr_infl_lrule & vx_pres+past_infl_lrule. vx_nonfin_irr_infl_lrule := vx_nonfin_infl_lrule & [ARGS <[synsem.lkeys.mclass vclass-irr]>]. px_infl_lrule := spell-lrule & basic-punct-lrule & lexical-sign & [SYNSEM #ss & noun-synsem & [loc.cont [hook.index.--cas.FIRST #agr, key.pred named_rel]], POSS-AFF +, LR.LR_INFLECTED +, ARGS <[POSS-AFF -, MORPH , SYNSEM #ss & [loc.uniagr #agr & g-s-g], LR.LR_INFLECTED +]>]. ax_infl_lrule := infl_lrule & [ARGS <[LR.LR_INFLECTED -]>]. card_infl_lrule := infl_lrule & lexical-sign & [lr.lr_inflected +, args <[synsem.lkeys.mclass dclass-closed]>]. dx_infl_lrule := infl_lrule & lexical-sign & [morph , synsem.loc [uniagr #agr, cont.hook.index.--cas.first #agr], lr.lr_inflected +, args <[synsem.lkeys.mclass dclass-closed]>]. #| dx_ord_lrule := infl_lrule & lexical-sign & [args ]. |# nx_final_infl_lrule := infl_lrule & lexical-sign & [lr [u #u & - ], ARGS <[SYNSEM [loc [cont.hook.index.--cas.FIRST #agr, uniagr #agr], LKEYS.MCLASS nclass & [uniagr #agr]], lr [lr_inflected -, u #u ]], ...> ]. pre_infl_lrule := *infl_lrule* & [morph , args <[morph ] >, LR.LR_INFLECTED -]. stem-pre_infl_lrule := stem & pre_infl_lrule. old2new_infl_sign := *infl_lrule* & sign & [morph , args <[morph ] >, LR.LR_INFLECTED bool]. old2new_post_infl_lrule := stem & spell-lrule & inher-nonloc & basic-punct-lrule & [morph , LR #lr, synsem #ss, args < *infl_lrule* & [synsem #ss, lr #lr, morph ] > ]. mal_lex2lex_infl_lrule := lexical-sign & spell-lrule & inher-nonloc & basic-punct-lrule & [morph , LR #lr, synsem #ss, args < [synsem #ss, lr #lr, morph ] > ]. spell-lrule := *lrule* & [needs-affix bool]. *infl_lrule* := spell-lrule & basic-punct-lrule & [SYNSEM #synsem & [loc.anc [active , self , inert ]], morph.list <[head #mhd, STEM #st, --STEM #st ], ... >, LR [ LR_INFLECTED bool, basic #basic], ARGS < stem-or-lex-sign & [SYNSEM #synsem, morph.list <[head #mhd ], ... >, lr [ lr_inflected -, basic #basic ] ] > ]. non-lexical-sign := sign & [ synsem [ lex -, phrase + ] ]. basic-word := lexical-sign & word-or-stem & word-or-arche-form & [ MORPH , ARGS < #morph >, LR.lr_stem - ]. word := basic-word & [ SIGNPUNCT no_sign_punct ]. punct_word := basic-word & [ SYNSEM.PUNCT punctuation_min ]. que-or-no-que-form := word & [synsem.nonloc undef-nonlocs_min]. que-or-no-que-punct-form := punct_word & [synsem.nonloc undef-nonlocs_min]. form := que-or-no-que-form & lexical-nonloc-default. punct-form := que-or-no-que-punct-form & lexical-nonloc-default. que-form := que-or-no-que-form & [synsem [loc.cont.hook.index #i, que ]]. word-or-arche-form := sign. arche-form := word-or-arche-form & root & lexical-nonloc-default & [ SIGNPUNCT no_sign_punct, MORPH ]. punct-arche-form := root & lexical-nonloc-default & [ MORPH ]. saturated-anc-to-bind-synsem_min := synsem_min0 & [ loc.cat [ spr <>, subj <>, ucomps <>, subcat [list #last & *null*, last #last], vcomp <> ]]. saturated-anc-to-bind-synsem := saturated-anc-to-bind-synsem_min & synsem. saturated-synsem_min := saturated-anc-to-bind-synsem_min & [ loc.anc anc-inher_min]. saturated-synsem := saturated-synsem_min & saturated-anc-to-bind-synsem. super-complete-synsem_min := saturated-synsem_min & undef-nonlocs-synsem_min. super-complete-synsem := super-complete-synsem_min & saturated-synsem & undef-nonlocs-synsem. no-eps-head := head & [v1 *undef*]. eps-verb-head := initial_+-or-eps-verb-head & initial_-_fin-verb-head & [v1 local_min, _v1-hd head]. no-eps-verb-head := no-eps-head & verb-head. parenth-head := head. complete-synsem_min := super-complete-synsem_min & [loc [cat.head no-eps-head]]. complete-synsem := complete-synsem_min & super-complete-synsem & [ loc [sgf sgf-lee-]]. parenth-synsem := super-complete-synsem & [ LOC.CAT.HEAD parenth-head ]. phrase := sign & [synsem saturated-synsem & [loc.cat.head no-eps-head ] ]. initial_+_-head := no-eps-head. initial_+_noncomp-head := initial_+_-head. initial_-_-head := head. extrapos_head := head. non-coord-head := head. non-mod-head := head & [ mod *undef* ]. non-mod-non-coord-head := non-mod-head & non-coord-head. complement-head := non-mod-non-coord-head. complement-synsem_min := synsem_min0. complement-synsem := complement-synsem_min & synsem & [loc.cat.head complement-head ]. saturated-complement-synsem_min := saturated-synsem_min & complement-synsem_min. saturated-complement-synsem := saturated-complement-synsem_min & saturated-synsem & complement-synsem. complete-complement-synsem_min := saturated-complement-synsem_min & complete-synsem_min. complete-complement-synsem := complete-complement-synsem_min & saturated-complement-synsem & complete-synsem. vcomp-head := complement-head & no-eps-head. non-verbal-head := no-eps-head. non-verbal-root-head := non-verbal-head & root-head. vcomp-no-sp-head := vcomp-head. vcomp-no-sp-no-v-head := vcomp-no-sp-head. vcomp-synsem := complement-synsem & [loc.cat.head vcomp-head ]. saturated-vcomp-synsem := saturated-complement-synsem & vcomp-synsem. complete-vcomp-synsem := saturated-vcomp-synsem & complete-synsem. noun-or-prep-or-postp-head := non-verbal-root-head. noun-or-prep-head := noun-or-prep-or-postp-head & initial_+_noncomp-head. complement-noun-or-prep-or-postp-head := vcomp-no-sp-no-v-head & noun-or-prep-or-postp-head. lpe-head := head & [ lpe bool ]. lpe_-_head := lpe-head & [ lpe - ]. lpe_+_head := lpe-head & [ lpe + ]. noun-or-prd-adj-head := head. noun-head := noun-or-prep-head & cas-type & lpe-head & possib-sent-final-head & noun-or-prd-adj-head & [ extra na_or_-, mass-noun bool ]. lpe_-_noun-head := lpe_-_head & noun-head. ref-noun-head := noun-head. ref-lpe_-_noun-head := lpe_-_noun-head & ref-noun-head. comp-noun-head := complement-noun-or-prep-or-postp-head & noun-head. ref-comp-noun-head := ref-noun-head & comp-noun-head. ref-comp-lpe_-_noun-head := ref-comp-noun-head & ref-lpe_-_noun-head. expl-noun-head := comp-noun-head. non-prd-head := no-eps-head & [ prd - ]. non-coord-non-prd-head := non-coord-head & non-prd-head. non-predicative-synsem := synsem & [ loc.cat.head non-prd-head ]. modifier-head := non-coord-non-prd-head & [mod *avm* & [loc.adjunction modifiable ] ]. pre-or-post-head-modifier-head := modifier-head. pre-head-modifier-head := pre-or-post-head-modifier-head. post-head-modifier-head := pre-or-post-head-modifier-head. noun-synsem := non-inf-verb-synsem & [ loc case-png-agr-local & [ cat [ head noun-head, vcomp <> ] ] ]. modifier-synsem := non-predicative-synsem & [ loc.cat [ head modifier-head, vcomp <> ] ]. saturated-modifier-synsem := saturated-synsem & modifier-synsem. complete-modifier-synsem := saturated-modifier-synsem & complete-synsem. pre-or-post-head-modifier-synsem := modifier-synsem & [ loc.cat.head pre-or-post-head-modifier-head ]. pre-head-modifier-synsem := pre-or-post-head-modifier-synsem & [ loc.cat.head pre-head-modifier-head ]. post-head-modifier-synsem := pre-or-post-head-modifier-synsem & [ loc.cat.head post-head-modifier-head ]. modifier-sign-syn := sign & [ synsem modifier-synsem ]. n-or-n-modifier-cat := cat & [ subj <>, inflected bool ]. inflected-noun-synsem := noun-synsem & [ loc.cat.inflected + ]. comp-noun-synsem := inflected-noun-synsem & vcomp-synsem. saturated-noun-synsem := noun-synsem & saturated-synsem. anc-intro-sign := headed-phrasal-sign & noun-sign & [head-dtr [synsem.loc.cont [hook [index #i, ltop #h, --reli #ri, --relh #rh]]], synsem saturated-ref-noun-synsem & [loc.anc anc-inher-unbound & [self ] ] ]. saturated-comp-noun-synsem := comp-noun-synsem & saturated-noun-synsem & saturated-complement-synsem. complete-comp-noun-synsem := saturated-comp-noun-synsem & complete-noun-synsem. ref-noun-synsem := noun-synsem & [ loc case-png-agr-local & [ cat.head ref-noun-head, CONT.KEY relation ] ]. saturated-ref-noun-synsem := saturated-noun-synsem & ref-noun-synsem. complete-ref-noun-synsem := complete-noun-synsem & saturated-ref-noun-synsem. expl-noun-synsem := saturated-comp-noun-synsem & [lkeys.keyagr #agr, loc case-png-agr-local & [ cat [ head expl-noun-head & [ cas.morph-case nom-acc-val ], _drop -, opt - ], cont expletiv-pronoun-sem-type & [ hook [INDEX [png 3-s-g ]] ], uniagr #agr & na-n-g & c-s-g & [png 3-n-g] ] ]. complete-expl-noun-synsem := expl-noun-synsem & complete-comp-noun-synsem. undef-nonlocs-noun-synsem := noun-synsem & undef-nonlocs-synsem. ref-comp-noun-synsem := comp-noun-synsem & ref-noun-synsem & [loc [cat [_pron [expl , refl ]]]]. undef-nonlocs-ref-comp-noun-synsem := ref-comp-noun-synsem & undef-nonlocs-synsem. saturated-ref-comp-noun-synsem := ref-comp-noun-synsem & saturated-ref-noun-synsem & saturated-comp-noun-synsem. lex-saturated-ref-comp-noun-synsem := saturated-ref-comp-noun-synsem & [ loc [cat [ head.cas lex-case, _drop -, drop - ], uniagr.cas lex-case] ]. a-v-modifier-head := pre-or-post-head-modifier-head & [ mod.loc.cat.head adv-or-adj-or-participle-or-verb-head ]. pre-a-v-mod-head := a-v-modifier-head & pre-head-modifier-head & [mod.loc.cat [head adj-or-adv-or-final-verb-head, vcomp <> ] ]. post-a-v-mod-head := a-v-modifier-head & post-head-modifier-head & [mod.loc.cat [head initial_+_fin-verb-head, vcomp <> ] ]. a-non-aux-v-modifier-head := a-v-modifier-head & [ mod.loc.cat.head.aux - ]. pre-a-non-aux-v-modifier-head := a-non-aux-v-modifier-head & pre-a-v-mod-head. post-a-non-aux-v-modifier-head := a-non-aux-v-modifier-head & post-a-v-mod-head. a-v-modifier-synsem := modifier-synsem & [ loc.cat.head a-v-modifier-head ]. a-non-aux-v-modifier-synsem := a-v-modifier-synsem & [ loc.cat.head a-non-aux-v-modifier-head ]. verb-modifier-head := a-v-modifier-head & [mod verb-synsem]. pre-verb-modifier-head := verb-modifier-head & pre-a-v-mod-head. post-verb-modifier-head := verb-modifier-head & post-a-v-mod-head. non-aux-verb-modifier-head := a-non-aux-v-modifier-head & verb-modifier-head. pre-non-aux-verb-modifier-head := non-aux-verb-modifier-head & pre-a-v-mod-head. post-non-aux-verb-modifier-head := non-aux-verb-modifier-head & post-a-v-mod-head. verb-modifier-synsem := a-v-modifier-synsem & [ loc.cat.head verb-modifier-head ]. non-aux-verb-modifier-synsem := a-non-aux-v-modifier-synsem & [ loc.cat.head non-aux-verb-modifier-head ]. noun-modifier-head := modifier-head & lpe-head & [ mod ref-noun-synsem & [ loc.cat.head.prd -, nonloc contains-no-rel ] ]. nbar-modifier-head := noun-modifier-head & [ mod.loc.cat [ spr < *avm* >, subcat ] ]. pre-head-noun-modifier-head := pre-head-modifier-head & noun-modifier-head. post-head-noun-modifier-head := post-head-modifier-head & noun-modifier-head. pre-head-nbar-modifier-head := pre-head-noun-modifier-head & nbar-modifier-head & lpe_-_head. post-head-nbar-modifier-head := post-head-modifier-head & nbar-modifier-head & lpe_+_head. noun-modifier-synsem := modifier-synsem & [ loc.cat.head noun-modifier-head ]. saturated-a-v-modifier-synsem := saturated-modifier-synsem & a-v-modifier-synsem. complete-a-v-modifier-synsem := complete-synsem & saturated-a-v-modifier-synsem. saturated-verb-modifier-synsem := saturated-a-v-modifier-synsem & verb-modifier-synsem. complete-verb-modifier-synsem := saturated-verb-modifier-synsem & complete-a-v-modifier-synsem. saturated-noun-modifier-synsem := saturated-modifier-synsem & noun-modifier-synsem. complete-noun-modifier-synsem := complete-synsem & saturated-noun-modifier-synsem. verb-modifier-sign-syn := sign & [ synsem verb-modifier-synsem ]. saturated-noun-verb-modifier-synsem := saturated-verb-modifier-synsem & saturated-ref-noun-synsem. complete-noun-verb-modifier-synsem := saturated-noun-verb-modifier-synsem & complete-verb-modifier-synsem. a-v-mod-noun-head := a-v-modifier-head & ref-lpe_-_noun-head. pre-a-v-mod-noun-head := a-v-mod-noun-head & pre-a-v-mod-head. post-a-v-mod-noun-head := a-v-mod-noun-head & post-a-v-mod-head. verb-mod-noun-head := a-v-mod-noun-head & verb-modifier-head. pre-verb-mod-noun-head := verb-mod-noun-head & pre-a-v-mod-head. post-verb-mod-noun-head := verb-mod-noun-head & post-a-v-mod-head. super-mod-noun-synsem := ref-noun-synsem & verb-modifier-synsem. a-v-mod-noun-synsem := super-mod-noun-synsem & [ loc case-png-agr-local & [cat.head a-v-mod-noun-head] ]. nbar-mod-noun-head := post-head-nbar-modifier-head & ref-noun-head. complete-nbar-mod-noun-synsem := complete-ref-noun-synsem & complete-noun-modifier-synsem & [ loc case-png-agr-local & [cat.head nbar-mod-noun-head] ]. spec-head := head & [ spec *avm* ]. det-head := non-mod-head & infl-type & spec-head & [ def bool, infl agr-decl-type, extra na_or_- ]. det-cat := cat & [ subj <>, drop-det bool ]. det-synsem-syn := saturated-synsem & [ loc [ cat det-cat & [ head det-head ], coord - ], nonloc contains-no-slash ]. det-synsem := det-synsem-syn & det-synsem-sem & [ LOC [ CAT.HEAD.SPEC.LOC.CONT [ hook [INDEX #ind, ltop #hand] ], CONT [ hook [INDEX #ind], HCONS.LIST.FIRST [ LARG #hand ] ] ] ]. det-lex-synsem := det-synsem & determiner-synsem-sem. det-sign := sign & [ synsem det-synsem ]. det-lex-sign := nocomma-sign & [ synsem det-lex-synsem & [loc png-agr-local & [uniagr #agr, cat.head [spec.loc.uniagr #agr, infl.uniagr #agr]]] ]. noun-sign := sign & [ synsem noun-synsem & [loc case-png-agr-local] ]. complete-noun-synsem := complete-synsem & noun-synsem & [loc.cat.extra-poss x_-]. complete-noun-sign := sign & [ synsem complete-noun-synsem ]. complete-ref-comp-noun-synsem := saturated-ref-comp-noun-synsem & complete-comp-noun-synsem. complete-comp-noun-sign := sign & [ synsem complete-comp-noun-synsem ]. complete-ref-comp-noun-sign := sign & [ synsem complete-ref-comp-noun-synsem ]. nominal-flex := nocomma-sign & [ MORPH , synsem.loc [cat.head.cas.morph-case #cas, uniagr #uniagr] ]. super-num-noun-flex := nominal-flex & [ MORPH , synsem.loc.cont.HOOK.INDEX [PNG #png] ]. no-gend-proper-noun-flex := form & [morph.list.first.head nmorph-head, synsem [lkeys.mclass pclass, loc [uniagr.cas.morph-case #mc, cat.head no-eps-head & [cas.morph-case #mc]]]]. proper-noun-flex := form & super-num-noun-flex & [synsem.lkeys.mclass pclass ]. noun-flex := super-num-noun-flex & [ MORPH , synsem [loc.cont.HOOK.INDEX [PNG #png]] ]. word-noun-flex := word & noun-flex. form-noun-flex := form & noun-flex. common-noun-synsem := noun-synsem & common-noun-synsem-sem. common-noun-sign := sign & [ synsem common-noun-synsem & [que ] ]. non-mass-unit-synsem := synsem & [ loc.cont.hook.index.mass-unit - ]. non-mass-unit := lexical-sign & [ synsem non-mass-unit-synsem ]. non-mass-unit-count-noun-synsem := non-mass-unit-synsem & count-noun-synsem. det-nominal-synsem-syn := noun-synsem & [ loc [ cat [ head.cas.morph-case #cas, spr < det-synsem & [ loc [ cat.head.infl [uniagr #uniagr & [cas.morph-case #cas, png #png] ] ] ] > ], cont.hook.index [ png #png & 3-n-g ], uniagr #uniagr ] ]. det-noun-synsem-syn := det-nominal-synsem-syn & [ loc.cat.head lpe_-_head ]. ref-comp-det-nominal-synsem-syn := det-nominal-synsem-syn & ref-comp-noun-synsem. ref-comp-det-noun-synsem-syn := det-noun-synsem-syn & ref-comp-noun-synsem. intr-det-noun-synsem-syn := det-noun-synsem-syn & [ loc.cat.subcat ]. intr-det-nominal-synsem-syn := det-nominal-synsem-syn & [ loc.cat.subcat ]. intr-det-ref-comp-noun-synsem-syn := ref-comp-noun-synsem & intr-det-noun-synsem-syn. intr-det-ref-comp-nominal-synsem-syn := ref-comp-noun-synsem & intr-det-nominal-synsem-syn. trans-det-noun-synsem-syn := det-noun-synsem-syn & non-mass-unit-synsem & [ loc.cat.subcat ]. trans-det-ref-comp-noun-synsem-syn := ref-comp-noun-synsem & trans-det-noun-synsem-syn. oblig-det-noun-synsem-syn := noun-synsem & [ loc.cat.spr < [loc.cat.drop-det - ] > ]. oblig-intr-det-ref-comp-noun-synsem-syn := oblig-det-noun-synsem-syn & intr-det-ref-comp-noun-synsem-syn. oblig-intr-det-ref-comp-nominal-synsem-syn := oblig-det-noun-synsem-syn & intr-det-ref-comp-nominal-synsem-syn. fak-det-noun-synsem-syn := noun-synsem & [ loc.cat.spr < [loc.cat.drop-det + ] > ]. fak-intr-det-noun-synsem-syn := fak-det-noun-synsem-syn & intr-det-noun-synsem-syn. fak-intr-det-ref-comp-noun-synsem-syn := fak-det-noun-synsem-syn & intr-det-ref-comp-noun-synsem-syn. fak-intr-det-ref-comp-nominal-synsem-syn := fak-det-noun-synsem-syn & intr-det-ref-comp-nominal-synsem-syn. fak-trans-det-ref-comp-noun-synsem-syn := fak-det-noun-synsem-syn & trans-det-ref-comp-noun-synsem-syn. count-noun-synsem-syn := intr-det-ref-comp-noun-synsem-syn. count-noun-synsem := count-noun-synsem-syn & count-noun-synsem-sem . count-noun-lex-sign := lexical-sign & nocomma-sign & [ synsem count-noun-synsem & [nonloc undef-nonlocs_min, que ] ]. count-noun-lex := form-noun-flex & count-noun-lex-sign. infl-count-noun-lex-sign := count-noun-lex-sign & infl_lrule. fak-intr-det-ref-comp-noun-synsem := fak-intr-det-ref-comp-noun-synsem-syn & count-noun-synsem-sem. fak-intr-det-ref-comp-noun-lex-sign := lexical-sign & [ synsem fak-intr-det-ref-comp-noun-synsem ]. fak-intr-det-ref-comp-noun-lex := form-noun-flex & fak-intr-det-ref-comp-noun-lex-sign. std-count-noun-lex := count-noun-lex & [ SYNSEM.LOC.CONT.KEY std_nom_rel ]. time-count-noun-lex := count-noun-lex & [ SYNSEM.LOC.CONT.KEY time_rel ]. std-count-noun-lex-detdrop_+ := std-count-noun-lex & [SYNSEM.LOC.cat.spr < [loc.cat.drop-det + ] >]. std-count-noun-lex-detdrop_- := std-count-noun-lex & [SYNSEM.LOC.cat.spr < [loc.cat.drop-det - ] >]. non-mass-unit-count-noun-lex-sign := count-noun-lex-sign & non-mass-unit. relational-noun-lex-sign := non-mass-unit-count-noun-lex-sign & [ SYNSEM.LOC.CONT.KEY diadic_nom_rel ]. relational-noun-lex := form-noun-flex & relational-noun-lex-sign. infl-relational-noun-lex-sign := relational-noun-lex-sign & infl_lrule. mass-noun-synsem-syn := fak-intr-det-ref-comp-noun-synsem-syn & non-mass-unit-synsem. mass-noun-synsem := mass-noun-synsem-syn & mass-noun-synsem-sem. mass-noun-sign := sign & [ synsem mass-noun-synsem ]. mass-noun-lex := form-noun-flex & mass-noun-sign. std-mass-noun-lex := mass-noun-lex & [ SYNSEM.LOC.CONT.KEY std_nom_rel ]. time-mass-noun-lex := mass-noun-lex & [ SYNSEM.LOC.CONT.KEY time_rel ]. mass-pp-noun-synsem-syn := fak-trans-det-ref-comp-noun-synsem-syn & [ loc.cat.subcat ]. mass-pp-noun-synsem := mass-pp-noun-synsem-syn & diadic-noun-obj-synsem-sem. mass-pp-noun-sign := sign & [ synsem mass-pp-noun-synsem ]. mass-pp-noun-lex := form-noun-flex & mass-pp-noun-sign. noun-and-proper-name-synsem-syn := trans-det-ref-comp-noun-synsem-syn & [ loc [ cat [ spr , subcat ], uniagr c-s-g, cont [ hook [index #ind & [ png #png & 3-s-g ], ltop #hand], KEY #key & reg-nom-rel, ALTKEY #altkey & equal_rel & [ PRED "appos_rel", LBL #hand, ARG1 #ind, ARG2 #ind2 ], RELS , HCONS ] ] ]. noun-and-proper-name-synsem := noun-and-proper-name-synsem-syn & [ LOC.CONT nominal-sign-sem-type ]. noun-and-proper-name-lex := form-noun-flex & [ synsem noun-and-proper-name-synsem ]. non-mass-unit-fak-intr-det-ref-comp-noun-lex := fak-intr-det-ref-comp-noun-lex & non-mass-unit. month-noun-lex := non-mass-unit-fak-intr-det-ref-comp-noun-lex & [ SYNSEM.LOC.CONT [ hook [INDEX [ SORT time, png p-s-g ]], KEY mofy_rel ] ]. day-noun-synsem := fak-intr-det-ref-comp-noun-synsem & non-mass-unit-synsem & [ LOC.CONT [ hook [INDEX.SORT time], KEY dofw_rel ] ]. #| clocktime-noun-synsem := complete-ref-comp-noun-synsem & non-mass-unit-synsem & [LOC [CAT.SPR < >, CONT [ hook [LTOP #t, INDEX #i & [png 3-s-g, SORT time]], KEY #key & time_carg_rel, RELS , HCONS ] ]]. |# clocktime-noun-synsem := fak-intr-det-ref-comp-noun-synsem & non-mass-unit-synsem & [LOC [CAT.SPR < [loc.cont.key.pred "udef_q_rel" ] >, CONT [ hook [LTOP #n, INDEX #i & [SORT time]], KEY #key & time_carg_rel, RELS , HCONS ] ]]. clocktime-noun-lex := form-noun-flex & [synsem clocktime-noun-synsem]. day-noun-lex-sign := fak-intr-det-ref-comp-noun-lex-sign & [ SYNSEM day-noun-synsem ]. day-noun-lex := form-noun-flex & day-noun-lex-sign. infl-day-noun-lex-sign := day-noun-lex-sign & infl_lrule. dofm-noun-synsem := fak-intr-det-ref-comp-noun-synsem & dofm-noun-synsem-sem & non-mass-unit-synsem. holiday-noun-lex := fak-intr-det-ref-comp-noun-lex & [ SYNSEM.LOC.CONT [ hook [INDEX.SORT time], KEY holiday_rel ] ]. jahreszahl-noun-lex := form-noun-flex & [ SYNSEM complete-nbar-mod-noun-synsem & [ LOC.CONT [ modcont [hook [index #xarg, ltop #t]], hook [LTOP #t, XARG #xarg & [SORT time]], KEY #key & yofc_rel, RELS , HCONS ] ] ]. title-noun-synsem := complete-comp-noun-synsem & non-mass-unit-synsem & [ LOC.CONT common-noun-sem-type & [ KEY anrede_title_rel ], lex-complete - ]. title-noun-lex-sign := lexical-sign & nocomma-sign & [ MORPH , SYNSEM title-noun-synsem ]. title-noun-lex := no-gend-proper-noun-flex & title-noun-lex-sign. infl-title-noun-lex-sign := title-noun-lex-sign & infl_lrule. title-gender-noun-lex := title-noun-lex & [ MORPH , SYNSEM.LOC.CONT.HOOK.INDEX [PNG #png] ]. nominalized-noun-synsem := intr-det-ref-comp-noun-synsem-syn & nominalized-noun-synsem-sem & non-mass-unit-synsem. nominalized-noun-sign := sign & [ synsem nominalized-noun-synsem ]. nominalized-noun-lex := form-noun-flex & nominalized-noun-sign. time-mod-noun-synsem-syn := a-v-mod-noun-synsem & [ loc.cont [modcont isect-modcont, hook.index [png 3-n-g]] ]. det-time-mod-noun-synsem-syn := time-mod-noun-synsem-syn & intr-det-noun-synsem-syn. obl-det-time-mod-noun-synsem-syn := det-time-mod-noun-synsem-syn & [ loc.cat.spr < [ loc.cat.drop-det -]>]. time-mod-noun-synsem-sem := mod-noun-synsem-sem. time-mod-noun-synsem := time-mod-noun-synsem-syn. obl-det-time-mod-noun-synsem := obl-det-time-mod-noun-synsem-syn & time-mod-noun-synsem-sem. fak-det-time-mod-noun-synsem := det-time-mod-noun-synsem-syn & time-mod-noun-synsem-sem. complete-time-mod-noun-synsem := time-mod-noun-synsem & complete-verb-modifier-synsem & complete-noun-synsem. time-mod-noun-lex := form-noun-flex & [ synsem fak-det-time-mod-noun-synsem ]. unit-noun-synsem-syn := ref-comp-noun-synsem & [ loc [ cat [ head lpe_-_head, spr < cardinal-number-synsem >, subcat ], cont [ hook [index [ png 3-n-g ]] ] ] ]. unit-noun-synsem := unit-noun-synsem-syn & unit-noun-synsem-sem & non-mass-unit-synsem. currency-noun-synsem := unit-noun-synsem & currency-noun-synsem-sem. currency-noun-lex-sign := lexical-sign & [ synsem currency-noun-synsem ]. currency-noun-lex := form-noun-flex & currency-noun-lex-sign. unit-noun-lex-sign := lexical-sign & [ synsem unit-noun-synsem ]. unit-noun-lex := form-noun-flex & unit-noun-lex-sign. det-flex := word & [ MORPH , synsem [lkeys.mclass dclass, loc.cat.head.infl #infl] ]. det-unflex := lexical-sign & [ synsem.lkeys.mclass pclass, MORPH ]. det-lex := form & det-flex & det-lex-sign & [synsem.loc.uniagr.png 3-n-g]. unflex-det-lex := form & det-unflex & det-lex-sign. wh-syn := synsem & [ loc.cont.hook.index #ind, nonloc undef-nonlocs_min, que singleton-diff-list & [ LIST.FIRST #ind ] ]. wh-pron-sem := synsem & [ LOC.CONT wh-pron-sem-type ]. wh-det-synsem := det-synsem & wh-syn & wh-det-synsem-sem. wh-det-sign := sign & [ synsem wh-det-synsem ]. q-det-lex := det-flex & wh-det-sign. unflex-q-det-lex := word & det-unflex & [synsem q-det-synsem-syn & [loc.cont q-poss-pronoun-sem-type]]. wh-grad-det-synsem := det-synsem & wh-syn & [ LOC.CONT wh-grad-det-sem-type ]. q-det-synsem-syn := wh-syn & det-synsem. q-grad-det-lex := det-flex & [ SYNSEM wh-grad-det-synsem ]. strong-det-lex := det-lex & [ synsem.loc.cat.head.infl [uniagr #agr, def-agr #agr, np-decl weak ] ]. weak-det-lex := det-lex & [ synsem.loc.cat.head.infl [uniagr #agr, nodef-agr #agr, np-decl strong] ]. int-grad-det-lex := form & det-unflex & det-sign & [ SYNSEM.LOC.CONT int-grad-det-sem-type ]. mass-grad-det-synsem := det-synsem & mass-grad-det-synsem-sem. mass-grad-det-lex := form & det-unflex & det-sign & [ SYNSEM mass-grad-det-synsem ]. index-sharing-rel-pron-synsem := synsem & [ loc.cont.HOOK.INDEX #ind, nonloc contains-rel & [ rel.LIST.FIRST #ind ], que ]. rel-pron-np-synsem-syn := saturated-ref-comp-noun-synsem & index-sharing-rel-pron-synsem. rel-pron-np-synsem := rel-pron-np-synsem-syn & rel-pron-np-synsem-sem. rel-pron-np-sign := sign & [ synsem rel-pron-np-synsem & [loc.adjunction unmodifiable] ]. d-rp-flex := word-noun-flex & [ MORPH ] !> ]. rel-pron-np-lex := d-rp-flex & rel-pron-np-sign. px-all-word := word & [ MORPH ]. unflex-rel-pron-np-lex := px-all-word & rel-pron-np-sign. rel-pron-det-synsem-syn := det-synsem & [ loc [anc [self , active , inert ], cont.ALTKEY.ARG0 #ind], nonloc contains-rel & [ rel.LIST.FIRST #ind ] ]. rel-pron-det-synsem-sem := rel-poss-pronoun-synsem-sem & [loc.cont [ALTKEY.ARG0.PNG 3-n-g ]]. rel-pron-det-synsem := rel-pron-det-synsem-syn & rel-pron-det-synsem-sem. rel-pron-det-sign := sign & [ synsem rel-pron-det-synsem ]. unflex-rel-pron-det-lex := px-all-word & rel-pron-det-sign. personal-pronoun-synsem := complete-ref-comp-noun-synsem & pers-pron-synsem-sem & [loc [uniagr #cas, cont.hook.index.--cas.first #cas], que ]. lex-case-personal-pronoun-synsem := lex-saturated-ref-comp-noun-synsem & personal-pronoun-synsem. lex-case-q-pron-noun-sg-synsem := lex-saturated-ref-comp-noun-synsem & q-pron-noun-sg-synsem. personal-pronoun-sign := nocomma-sign & [synsem personal-pronoun-synsem ]. refl-pronoun-synsem := complete-comp-noun-synsem & [loc [ cat [ _pron [expl , refl ], head.cas lex-case, _drop -, drop -, opt - ], CONT refl-pron-no-sem-type, uniagr.cas lex-case ] ]. px-p-prfx-form := form & [ MORPH ]. px-p-prfx-arche-form := arche-form & [ MORPH ]. px-all-form := form & [ MORPH ]. px-all-adj-form := form & [ MORPH ]. personal-pronoun-lex := px-all-form & personal-pronoun-sign & [ SYNSEM.LOC.CONT personal-pronoun-sem-type ]. poss-pers-pronoun-lex := personal-pronoun-sign & word & [ SYNSEM.LOC.CONT poss-pers-pronoun-sem-type & [key [pred "pron_n_rel"], altkey [pred "pron_n_rel"], hook.index.png 3-n-g] ]. d-pron-synsem-sem := personal-pronoun-synsem-sem & [ loc.cont.HOOK.INDEX [png 3-n-g] ]. d-pron-synsem := complete-ref-comp-noun-synsem & d-pron-synsem-sem. d-pron-sign := nocomma-sign & [ synsem d-pron-synsem ]. d-pron-lex := form-noun-flex & d-pron-sign & [synsem.loc.cont.key.pred "_pron_n_demonstrative_rel"]. d-pron-lex-saturated-ref-comp-noun-synsem := lex-saturated-ref-comp-noun-synsem & d-pron-synsem. unflex-d-pron-lex := px-all-form & d-pron-sign. no-gend-proper-noun-lex := no-gend-proper-noun-flex & proper-noun-sign. proper-noun-synsem-syn := intr-det-ref-comp-noun-synsem-syn & non-mass-unit-synsem & [ loc.cat [ spr < det-synsem & [ loc.CONT.KEY udef_rel ] > ] ]. proper-noun-fak-det-synsem-syn := proper-noun-synsem-syn & fak-det-noun-synsem-syn. proper-noun-oblig-det-synsem-syn := proper-noun-synsem-syn & oblig-det-noun-synsem-syn. proper-noun-synsem := proper-noun-fak-det-synsem-syn & proper-name-synsem-sem. proper-name-synsem := proper-noun-synsem. proper-noun-det-synsem := proper-noun-oblig-det-synsem-syn & proper-name-synsem-sem. proper-noun-sign := nocomma-sign & [ synsem proper-noun-synsem ]. proper-name-sign := sign & [ synsem proper-name-synsem ]. proper-noun-det-sign := sign & [ synsem proper-noun-det-synsem ]. proper-noun-lex := proper-noun-flex & proper-noun-sign. proper-name-lex := proper-noun-flex & proper-name-sign. no-gend-proper-name-lex := no-gend-proper-noun-flex & proper-name-sign. proper-noun-det-lex := proper-noun-flex & proper-noun-det-sign. unknown-name-synsem := proper-noun-synsem & unknown-name-synsem-sem. unknown-name-sign := proper-noun-sign & [ SYNSEM unknown-name-synsem ]. unknown-proper-name-synsem := unknown-name-synsem & proper-name-synsem. unknown-name-lex := proper-name-lex & unknown-name-sign. refl-pronoun-sign := nocomma-sign & [ synsem refl-pronoun-synsem ]. refl-pronoun-lex := px-all-form & refl-pronoun-sign. quantifier-np-synsem := complete-ref-comp-noun-synsem & unrestr-det-synsem-sem & [ LOC.CONT [KEY abstr_nom_rel, HOOK.INDEX [ PNG 3-n-g] ]]. lex-quantifier-np-synsem := quantifier-np-synsem & lex-saturated-ref-comp-noun-synsem. adj-mass-np-synsem := saturated-ref-comp-noun-synsem & adj-mass-np-synsem-sem & [ LOC.CONT.HOOK.INDEX [ PNG 3-s-g] ]. adj-mass-np-lex := form & [ MORPH , SYNSEM adj-mass-np-synsem & [ LOC [ CAT.HEAD.CAS.MORPH-CASE #case, CONT.HOOK.INDEX [ PNG #png], UNIAGR #uniagr] ] ]. part-mass-np-lex := px-all-form & [ SYNSEM adj-mass-np-synsem]. quantifier-np-lex := px-all-form & nocomma-sign & [ SYNSEM quantifier-np-synsem ]. quantor-det-flex := sign & [ MORPH , synsem.loc [ cat.head.infl #infl, cont.hook.index [png #png ] ] ]. flex-quantifier-np-sign := sign & [ SYNSEM quantifier-np-synsem ]. det-np-flex := word-noun-flex & [ MORPH ]. flex-quantifier-np-lex := det-np-flex & form & flex-quantifier-np-sign. prd-head := complement-head & subj-head & [ prd + ]. predicative-syn := complement-synsem & [ loc.cat.head prd-head ]. predicative-sem := synsem. predicative-synsem := predicative-syn & predicative-sem. ref-predicative-synsem := predicative-synsem & [loc [cat.head.subj < saturated-ref-comp-noun-synsem & [loc.cont.hook.index #ind]>, cont.key.arg1 #ind] ]. predicative-sign := sign & [ synsem predicative-synsem ]. lex-case-type := cas-type & [ cas lex-case ]. prep-or-postp-head := noun-or-prep-or-postp-head & extrapos_head. prep-head := prep-or-postp-head & noun-or-prep-head. postp-head := adj-or-verb-or-postp-head & prep-or-postp-head & initial_-_-head. prd-prep-or-postp-head := prd-head & vcomp-no-sp-head & prep-or-postp-head. prd-prep-head := complement-noun-or-prep-or-postp-head & prd-prep-or-postp-head & prep-head. prd-postp-head := prd-prep-or-postp-head & postp-head. non-prd-prep-or-postp-head := non-prd-head & prep-or-postp-head. non-prd-prep-head := non-prd-prep-or-postp-head & prep-head. prep-or-postp-synsem := non-inf-verb-synsem & [ loc [ cat [ head prep-or-postp-head, vcomp <>, _drop -, drop - ] ] ]. prep-synsem := prep-or-postp-synsem & [ loc.cat.head prep-head ]. postp-synsem := synsem & [ loc.cat.head postp-head ]. prep-sign := nocomma-sign & [ synsem prep-synsem ]. postp-sign := nocomma-sign & [ synsem postp-synsem ]. comp-prep-or-postp-head := prep-or-postp-head & complement-noun-or-prep-or-postp-head & non-prd-head & pform-head & lex-case-type. comp-prep-head := comp-prep-or-postp-head & prep-head & possib-sent-final-head. zu-comp-prep-head := vform-type & comp-prep-head & [pform zu-pform, vform inf-sm]. comp-postp-head := comp-prep-or-postp-head & postp-head. comp-prep-or-postp-synsem := prep-or-postp-synsem & [loc case-agr-local & [cat.head comp-prep-or-postp-head, cont.key.arg0 pevent & [E no_tam]] ]. comp-prep-synsem := comp-prep-or-postp-synsem & prep-synsem. preposition-or-postposition-synsem := prep-or-postp-synsem & [ loc [uniagr #cas, cat.subcat ]] !> ]]. preposition-synsem := preposition-or-postposition-synsem & prep-synsem. postposition-synsem := preposition-or-postposition-synsem & postp-synsem. complement-preposition-or-postposition-synsem := preposition-or-postposition-synsem & comp-prep-or-postp-synsem & [loc [uniagr #uni, cat [ head [ cas #cas, top #top ], subcat ], uniagr.cas #unicas] ]. complement-preposition-synsem := complement-preposition-or-postposition-synsem & preposition-synsem. prd-preposition-or-postposition-synsem := ref-predicative-synsem & preposition-or-postposition-synsem & [ LOC [CAT.SUBCAT , CONT.HOOK.INDEX.E.TENSE real_tense] ]. prd-preposition-synsem := prd-preposition-or-postposition-synsem & preposition-synsem. full-preposition-or-postposition-synsem := preposition-or-postposition-synsem & [ loc.cat.subcat ]. nbar-preposition-synsem := preposition-synsem & [ loc.cat.subcat , subcat ], cont.HOOK.INDEX [png p-s-g] ] ] !> ]. def-preposition-synsem := nbar-preposition-synsem & [ loc.cat.subcat ] !> ]. indef-preposition-synsem := nbar-preposition-synsem & [loc [cont.hcons , cat.subcat ] ] !> ]]. full-complement-preposition-or-postposition-synsem := complement-preposition-or-postposition-synsem & full-preposition-or-postposition-synsem & comp-prep-synsem-sem. full-complement-preposition-synsem := full-complement-preposition-or-postposition-synsem & complement-preposition-synsem. full-complement-postposition-synsem := full-complement-preposition-or-postposition-synsem & postp-synsem. def-complement-preposition-synsem := complement-preposition-synsem & def-preposition-synsem & comp-prepd-synsem-sem. full-prd-preposition-or-postposition-synsem := prd-preposition-or-postposition-synsem & full-preposition-or-postposition-synsem & preposition-prd-synsem-sem. full-prd-preposition-synsem := full-prd-preposition-or-postposition-synsem & preposition-synsem. full-prd-postposition-synsem := full-prd-preposition-or-postposition-synsem & postposition-synsem. def-prd-prep-synsem-sem := synsem & [ LOC [ CAT [ SUBCAT ], CONT prepd-sem-type & [ HOOK [ltop #t], KEY [lbl #t], HCONS , RELS ] ] ]. def-prd-preposition-synsem := prd-preposition-synsem & def-preposition-synsem & def-prd-prep-synsem-sem. mod-prep-or-postp-head := prep-or-postp-head & modifier-head & [ verbmodposs bool ]. mod-prep-head := mod-prep-or-postp-head & prep-head. mod-postp-head := mod-prep-or-postp-head & postp-head. noun-mod-prep-or-postp-head := mod-prep-or-postp-head & post-head-nbar-modifier-head. noun-mod-prep-head := noun-mod-prep-or-postp-head & prep-head & possib-sent-final-head. noun-mod-postp-head := noun-mod-prep-or-postp-head & postp-head. adj-or-verb-mod-prep-or-postp-head := mod-prep-or-postp-head & a-v-modifier-head. pre-adj-or-verb-mod-prep-or-postp-head := adj-or-verb-mod-prep-or-postp-head & pre-a-v-mod-head . post-adj-or-verb-mod-prep-or-postp-head := adj-or-verb-mod-prep-or-postp-head & post-a-v-mod-head. adj-or-verb-mod-prep-head := adj-or-verb-mod-prep-or-postp-head & prep-head. pre-adj-or-verb-mod-prep-head := adj-or-verb-mod-prep-head & pre-adj-or-verb-mod-prep-or-postp-head. post-adj-or-verb-mod-prep-head := adj-or-verb-mod-prep-head & post-adj-or-verb-mod-prep-or-postp-head. adj-or-verb-mod-postp-head := adj-or-verb-mod-prep-or-postp-head & postp-head. pre-adj-or-verb-mod-postp-head := adj-or-verb-mod-postp-head & pre-adj-or-verb-mod-prep-or-postp-head. post-adj-or-verb-mod-postp-head := adj-or-verb-mod-postp-head & post-adj-or-verb-mod-prep-or-postp-head. verb-mod-prep-or-postp-head := adj-or-verb-mod-prep-or-postp-head & verb-modifier-head. pre-verb-mod-prep-or-postp-head := verb-mod-prep-or-postp-head & pre-adj-or-verb-mod-prep-or-postp-head. post-verb-mod-prep-or-postp-head := verb-mod-prep-or-postp-head & post-adj-or-verb-mod-prep-or-postp-head. verb-mod-prep-head := verb-mod-prep-or-postp-head & adj-or-verb-mod-prep-head. pre-verb-mod-prep-head := verb-mod-prep-head & pre-verb-mod-prep-or-postp-head & pre-adj-or-verb-mod-prep-head. post-verb-mod-prep-head := verb-mod-prep-head & post-verb-mod-prep-or-postp-head & post-adj-or-verb-mod-prep-head. verb-mod-postp-head := verb-mod-prep-or-postp-head & adj-or-verb-mod-postp-head. pre-verb-mod-postp-head := verb-mod-postp-head & pre-verb-mod-prep-or-postp-head & pre-adj-or-verb-mod-postp-head. post-verb-mod-postp-head := verb-mod-postp-head & post-verb-mod-prep-or-postp-head & post-adj-or-verb-mod-postp-head. modifying-prep-or-postp-synsem := modifier-synsem & prep-or-postp-synsem & [ loc [cat [ head mod-prep-or-postp-head, no_adj + ], cont [modcont isect-modcont, hook.index [e no_tam, --psv psv-] ]]]. modifying-preposition-or-postposition-synsem-syn := modifying-prep-or-postp-synsem & preposition-or-postposition-synsem. modifying-preposition-or-postposition-synsem := modifying-preposition-or-postposition-synsem-syn & preposition-mod-synsem-sem. indef-modifying-preposition-or-postposition-synsem := modifying-preposition-or-postposition-synsem-syn & indef-preposition-mod-synsem-sem. adj-or-verb-modifying-prep-or-postp-synsem := modifying-prep-or-postp-synsem & [ loc [cat.head adj-or-verb-mod-prep-or-postp-head] ]. adj-or-verb-mod-prep-synsem := adj-or-verb-modifying-prep-or-postp-synsem & prep-synsem. saturated-adj-or-verb-mod-prep-synsem := adj-or-verb-mod-prep-synsem & saturated-modifier-synsem. saturated-verb-mod-prep-synsem := saturated-adj-or-verb-mod-prep-synsem & saturated-verb-modifier-synsem. complete-adj-or-verb-mod-prep-synsem := adj-or-verb-mod-prep-synsem & complete-synsem. adj-or-verb-mod-preposition-or-postposition-synsem := modifying-preposition-or-postposition-synsem & adj-or-verb-modifying-prep-or-postp-synsem. adj-or-verb-mod-preposition-synsem := adj-or-verb-mod-preposition-or-postposition-synsem & prep-synsem. noun-mod-prep-or-postp-synsem := modifying-prep-or-postp-synsem & [ loc.cat.head noun-mod-prep-or-postp-head ]. noun-mod-prep-synsem := noun-mod-prep-or-postp-synsem & prep-synsem. noun-mod-preposition-or-postposition-synsem := noun-mod-prep-or-postp-synsem & preposition-or-postposition-synsem. noun-mod-preposition-synsem := noun-mod-preposition-or-postposition-synsem & noun-mod-prep-synsem. full-mod-preposition-or-postposition-synsem := full-preposition-or-postposition-synsem & modifying-preposition-or-postposition-synsem. full-noun-mod-preposition-or-postposition-synsem := full-mod-preposition-or-postposition-synsem & noun-mod-preposition-or-postposition-synsem. full-noun-mod-preposition-synsem := full-noun-mod-preposition-or-postposition-synsem & noun-mod-preposition-synsem. full-noun-mod-postposition-synsem := full-noun-mod-preposition-or-postposition-synsem & postp-synsem. full-adj-or-verb-mod-preposition-or-postposition-synsem := full-mod-preposition-or-postposition-synsem & adj-or-verb-mod-preposition-or-postposition-synsem. full-adj-or-verb-mod-preposition-synsem := full-adj-or-verb-mod-preposition-or-postposition-synsem & prep-synsem. full-adj-or-verb-mod-postposition-synsem := full-adj-or-verb-mod-preposition-or-postposition-synsem & postp-synsem. def-mod-preposition-synsem := def-preposition-synsem & modifying-preposition-or-postposition-synsem-syn & [loc [cat.subcat , cont prep-sem-type & modcont-mrs & [ HOOK [LTOP #modhand], KEY #key & [ARG2 #ref, ARG1 #ind, LBL #modhand], RELS , MODCONT.HOOK [INDEX #ind, ltop #modhand], HCONS ] ]]. def-noun-mod-preposition-synsem := def-mod-preposition-synsem & noun-mod-preposition-synsem. def-adj-or-verb-mod-preposition-synsem := def-mod-preposition-synsem & adj-or-verb-modifying-prep-or-postp-synsem. indef-mod-preposition-synsem := indef-preposition-synsem & indef-modifying-preposition-or-postposition-synsem. indef-noun-mod-preposition-synsem := indef-mod-preposition-synsem & noun-mod-preposition-synsem. indef-adj-or-verb-mod-preposition-synsem := indef-mod-preposition-synsem & adj-or-verb-modifying-prep-or-postp-synsem. pp-synsem := prep-synsem & saturated-synsem. comp-pp-synsem := pp-synsem & non-predicative-synsem & saturated-complement-synsem. complete-comp-pp-synsem := comp-pp-synsem & complete-synsem. prd-pp-synsem_min := pp-synsem & saturated-complement-synsem. prd-pp-synsem := prd-pp-synsem_min & ref-predicative-synsem. complete-prd-pp-synsem := prd-pp-synsem & complete-synsem. mod-pp-synsem := pp-synsem & modifying-prep-or-postp-synsem & saturated-modifier-synsem. verb-mod-pp-synsem := mod-pp-synsem & saturated-verb-modifier-synsem & adj-or-verb-modifying-prep-or-postp-synsem. complete-verb-mod-pp-synsem := verb-mod-pp-synsem & complete-synsem. noun-mod-pp-synsem := mod-pp-synsem & noun-mod-prep-synsem & saturated-noun-modifier-synsem. complete-noun-mod-pp-synsem := noun-mod-pp-synsem & complete-synsem. full-prep-or-postp-sign := nocomma-sign & [ synsem full-preposition-or-postposition-synsem ]. def-prep-or-postp-sign := nocomma-sign & [ synsem def-preposition-synsem ]. indef-prep-or-postp-sign := nocomma-sign & [ synsem indef-preposition-synsem ]. pp-sign := sign & [ synsem pp-synsem ]. full-mod-prep-or-postp-sign := nocomma-sign & [ synsem full-mod-preposition-or-postposition-synsem ]. full-noun-mod-prep-or-postp-sign := nocomma-sign & [ synsem full-noun-mod-preposition-or-postposition-synsem ]. full-adj-or-verb-mod-prep-or-postp-sign := nocomma-sign & [ synsem full-adj-or-verb-mod-preposition-or-postposition-synsem ]. full-adj-or-verb-mod-prep-sign := full-adj-or-verb-mod-prep-or-postp-sign & prep-sign. full-adj-or-verb-mod-prep-or-postp-lex := px-p-prfx-form & full-adj-or-verb-mod-prep-or-postp-sign. full-adj-or-verb-mod-prep-lex := full-adj-or-verb-mod-prep-or-postp-lex & prep-sign. def-mod-prep-or-postp-sign := nocomma-sign & [ synsem def-mod-preposition-synsem ]. def-noun-mod-prep-or-postp-sign := nocomma-sign & [ synsem def-noun-mod-preposition-synsem ]. indef-noun-mod-prep-or-postp-sign := nocomma-sign & [ synsem indef-noun-mod-preposition-synsem ]. verb-mod-pp-sign := sign & [ synsem verb-mod-pp-synsem ]. prd-pp-sign := sign & [ synsem prd-pp-synsem ]. pronominal-synsem := synsem & [ loc.cat.head.extra na_or_- ]. pron-comp-pp-synsem := pronominal-synsem & comp-pp-synsem & pron-comp-pp-synsem-sem. complete-pron-comp-pp-synsem := pron-comp-pp-synsem & complete-synsem. def-prd-prep-sign := nocomma-sign & [ synsem def-prd-preposition-synsem ]. def-prd-prep-lex := px-p-prfx-form & def-prd-prep-sign. lexical-def-prd-prep-sign := lexical-sign & def-prd-prep-sign. prd-preposition-synsem-sem := prd-preposition-synsem & preposition-prd-synsem-sem. full-prd-prep-or-postp-sign := sign & [ synsem full-prd-preposition-or-postposition-synsem ]. full-prd-prep-or-postp-lex := px-p-prfx-form & full-prd-prep-or-postp-sign. full-prd-prep-lex := full-prd-prep-or-postp-lex & prep-sign. full-prd-postp-lex := full-prd-prep-or-postp-lex & postp-sign. comp-prep-or-postp-sign := nocomma-sign & [ synsem full-complement-preposition-or-postposition-synsem ]. comp-prep-sign := comp-prep-or-postp-sign & prep-sign. comp-postp-sign := comp-prep-or-postp-sign & postp-sign. comp-prep-lex := px-p-prfx-form & comp-prep-sign & [vf -]. comp-postp-lex := px-p-prfx-form & comp-postp-sign. lexical-comp-prep-or-postp-sign := lexical-sign & comp-prep-or-postp-sign. comp-def-prep-sign := nocomma-sign & [ synsem def-complement-preposition-synsem ]. comp-def-prep-lex := px-p-prfx-form & comp-def-prep-sign & [synsem.loc.cont [key #key, rels.list <#key,...> ]]. pron-comp-pp-sign := nocomma-sign & [ synsem pron-comp-pp-synsem ]. d-pron-comp-pp-synsem := pron-comp-pp-synsem & [ LOC.CONT d-pron-comp-pp-sem-type ]. complete-d-pron-comp-pp-synsem := complete-synsem & d-pron-comp-pp-synsem. d-pron-comp-pp-sign := nocomma-sign & [ synsem d-pron-comp-pp-synsem ]. pron-comp-pp-lex := d-pron-comp-pp-sign & form & [ MORPH ]. flip-head := head & [ flip bool ]. flip_-_head := flip-head & [ flip - ]. possib-sent-final-head := head. adj-or-verb-or-postp-head := possib-sent-final-head. adj-or-verb-head := adj-or-verb-or-postp-head. prd-adj-or-participle-or-verb-head:= adj-or-participle-or-verb-head & [prd +]. prd-adj-or-verb-head := adj-or-verb-head & prd-adj-or-participle-or-verb-head. adj-or-adv-or-verb-head := adv-or-adj-or-participle-or-verb-head. adj-or-adv-or-final-verb-head := initial_-_-head & adj-or-adv-or-verb-head. adj-or-final-verb-head := adj-or-verb-head & adj-or-adv-or-final-verb-head. adv-or-adj-or-participle-or-verb-head := possib-sent-final-head. adj-or-participle-or-verb-head := adv-or-adj-or-participle-or-verb-head. participle-or-verb-head := adj-or-participle-or-verb-head & [ aux bool ]. participle-or-final-verb-head := adj-or-final-verb-head & participle-or-verb-head. sp-prd-adj-or-non-fin-verb-head := flip-head & non-mod-head & no-eps-head. prd-adj-or-non-fin-verb-head := sp-prd-adj-or-non-fin-verb-head & adj-or-final-verb-head & subj-head. prd-adj-or-inf-verb-head := adj-or-inf-or-bse-verb-head. prd-adj-or-coherent-inf-verb-head := prd-adj-or-inf-verb-head. adj-or-verb-cat := cat & [ head adj-or-verb-head ]. adj-or-verb-local := local & [cat adj-or-verb-cat ]. adj-or-verb-synsem := synsem & [ loc adj-or-verb-local ]. sp-or-prd-adj-or-non-fin-verb-cat := cat & [head sp-prd-adj-or-non-fin-verb-head, erg-subtr bool ]. sp-or-prd-adj-or-non-fin-verb-synsem := synsem & [ loc.cat sp-or-prd-adj-or-non-fin-verb-cat ]. sp-sep-or-prd-adj-or-non-fin-verb-synsem := sp-or-prd-adj-or-non-fin-verb-synsem. adj-or-adv-head := adj-or-adv-or-final-verb-head & non-verbal-root-head & [ extra na_or_- ]. adj-head := adj-or-adv-head & adj-or-verb-head & subj-head. mod-adj-head := adj-head & cas-type & mod-adj-or-prd-adj-or-non-prd-adv-head & pre-head-nbar-modifier-head & [mod.loc.cat.no_adj -]. participle-head := adj-head & participle-or-final-verb-head. mod-participle-head := participle-head & mod-adj-head. adj-cat := adj-or-verb-cat & [ head adj-head, subj <>]. ;; moved to adj-synsem-syn (for participles) mod-adj-cat := adj-cat & n-or-n-modifier-cat. prd-adj-cat := adj-cat & prd-adj-or-non-fin-verb-cat & [ erg-subtr - ]. adj-local := adj-or-verb-local & [cat adj-cat, coord bool ]. adj-synsem-syn := synsem & [ loc adj-local & [cat.vcomp <>] ]. adj-synsem := adj-synsem-syn & adj-synsem-sem. ;& [ ; comp-am bool ; ] comparable-sign := sign. adj-sign := comparable-sign & nocomma-sign & [ synsem adj-synsem ]. simple-adj-synsem := adj-synsem & simple-adj-synsem-sem. simple-adj-sign := sign & [ synsem simple-adj-synsem ]. mod-adj-or-prd-adj-or-non-prd-adv-head := head. prd-adj-or-non-prd-adv-head := mod-adj-or-prd-adj-or-non-prd-adv-head. prd-adj-head := noun-or-prd-adj-head & prd-adj-or-verb-head & prd-adj-or-non-prd-adv-head & prd-adj-or-coherent-inf-verb-head & prd-head & adj-head & flip_-_head. non-prd-adj-head := non-prd-head & adj-head. prd-adj-or-non-fin-verb-synsem := sp-sep-or-prd-adj-or-non-fin-verb-synsem. adj-prd-or-coherent-complement-verb-synsem := prd-adj-or-non-fin-verb-synsem & [loc.cont.hook.index event]. adj-prd-synsem := adj-synsem & adj-prd-or-coherent-complement-verb-synsem & predicative-synsem & [loc.cont [hook [--oind #oind, index #i, ltop #t], key [--oind #oind, lbl #t, arg0 #i]]]. simple-adj-prd-synsem := simple-adj-synsem & adj-prd-synsem. saturated-complement-simple-adj-prd-synsem := saturated-complement-synsem & simple-adj-prd-synsem. complete-complement-simple-adj-prd-synsem := complete-complement-synsem & simple-adj-prd-synsem. adj-lex := adj-sign & [ MORPH ]. mw-adj-lex := mw-two-morph-lex-sign & adj-sign & [ MORPH ]. simple-adj-lex := adj-lex & simple-adj-sign. simple-mw-adj-lex := mw-adj-lex & simple-adj-sign. verb-head := subj-type & prd-adj-or-verb-head & participle-or-verb-head & vform-type & log-subj-type & flip-head & non-mod-head & --sub-type & [passive psv, log-subj index]. final-verb-head := participle-or-final-verb-head & verb-head. final-no-eps-verb-head := final-verb-head & no-eps-verb-head. verb-cat := adj-or-verb-cat & [head verb-head, _drop -, drop - ]. prd-adj-or-non-fin-verb-cat := sp-or-prd-adj-or-non-fin-verb-cat & adj-or-verb-cat & [subj <>]. fin-verb-cat := verb-cat & log-subj-type. non-fin-verb-cat := verb-cat & prd-adj-or-non-fin-verb-cat. aux-feat-type := *top* & [ auxf auxf, auxt auxt ]. stem-verb-cat := verb-cat & log-subj-type & aux-feat-type. nonfin-stem-verb-cat := stem-verb-cat & non-fin-verb-cat. fin-stem-verb-cat := stem-verb-cat & fin-verb-cat. verb-local := adj-or-verb-local & [cat verb-cat, erg *list*]. verb-synsem-syn := adj-or-verb-synsem & [ loc verb-local ]. verb-synsem := verb-synsem-syn. verb-event-synsem := verb-synsem & gen_verb_synsem_sem. clausal-complement-synsem := complement-synsem. saturated-verb-synsem := saturated-synsem & verb-synsem. saturated-comp-verb-synsem := saturated-complement-synsem & clausal-complement-synsem & saturated-verb-synsem. fin-verb-head := verb-head & [ vform fin-sm ]. fin-verb-local := verb-local & [cat [head fin-verb-head ]]. initial_+-or-eps-verb-head := fin-verb-head. non-fin-verb-head := prd-adj-or-non-fin-verb-head & final-no-eps-verb-head & [ vform non-fin-sm ]. adj-or-inf-or-bse-verb-head:= prd-adj-or-non-fin-verb-head. inf-or-bse-verb-head := non-fin-verb-head & adj-or-inf-or-bse-verb-head. non-fin-verb-local := verb-local & [cat [head non-fin-verb-head]]. non-fin-verb-synsem := verb-synsem & prd-adj-or-non-fin-verb-synsem & [loc non-fin-verb-local]. fin-verb-synsem := verb-synsem & [ loc fin-verb-local]. ;;; & [cont.hook.index.e.tense real_tense ] ;;; ]. saturated-fin-verb-synsem := saturated-verb-synsem & fin-verb-synsem. saturated-comp-fin-verb-synsem := saturated-fin-verb-synsem & saturated-comp-verb-synsem. complete-comp-fin-verb-synsem := saturated-comp-fin-verb-synsem & complete-synsem. complete-vcomp-fin-verb-synsem := complete-comp-fin-verb-synsem & complete-vcomp-synsem. saturated-non-fin-verb-synsem := saturated-synsem & non-fin-verb-synsem & non-inf-verb-synsem. saturated-comp-non-fin-verb-synsem := saturated-non-fin-verb-synsem & saturated-comp-verb-synsem. complete-comp-non-fin-verb-synsem := saturated-comp-non-fin-verb-synsem & complete-synsem. complete-vcomp-non-fin-verb-synsem := complete-comp-non-fin-verb-synsem & complete-vcomp-synsem. fin-no-particle-verb-synsem := fin-verb-synsem & no-particle-verb-synsem. non-fin-no-particle-verb-synsem := non-fin-verb-synsem & no-particle-verb-synsem & non-inf-verb-synsem. inf-verb-head := prd-adj-or-inf-verb-head & inf-or-bse-verb-head & [ vform inf-sm ]. comp-inf-verb-head := vcomp-no-sp-head & extrapos_head & inf-verb-head. coherent-complement-verb-head := non-fin-verb-head & [ extra na_or_- ]. coherent-inf-verb-head := prd-adj-or-coherent-inf-verb-head & coherent-complement-verb-head & inf-verb-head. bse-or-participle-verb-head := coherent-complement-verb-head. bse-verb-head := inf-or-bse-verb-head & bse-or-participle-verb-head & [ vform bse-sm ]. participle-verb-head := bse-or-participle-verb-head. ppp-verb-head := participle-verb-head & aux-feat-type & [ vform ppp-sm ]. super-passive-verb-head := coherent-complement-verb-head & [passive psv+, flip -]. ;;; Reentrancy for chart dependencies on passives only passive-verb-head := super-passive-verb-head & [_VFORM non-fin-sm, VFORM non-fin-sm ]. adjective-infl-verb-head := final-no-eps-verb-head & [ vform non-fin-sm ]. coherent-complement-verb-synsem := adj-prd-or-coherent-complement-verb-synsem & non-fin-verb-synsem & [loc [ cat [ head coherent-complement-verb-head, erg-subtr -, vcomp <> ] ], phrase - ]. bse-verb-synsem := non-fin-verb-synsem & non-inf-verb-synsem & [ loc [cat.head bse-verb-head ] ]. coherent-complement-bse-verb-synsem := coherent-complement-verb-synsem & bse-verb-synsem. ppp-verb-synsem := non-fin-verb-synsem & non-inf-verb-synsem & [ loc.cat.head ppp-verb-head ]. coherent-complement-ppp-verb-synsem := coherent-complement-verb-synsem & ppp-verb-synsem. inf-verb-synsem := non-fin-verb-synsem & [ loc [cat [opt -,; head inf-verb-head]] ]. non-inf-verb-synsem := synsem & [ PUNCT.--INF_PPAIR non_inf-ppair ]. coherent-complement-inf-verb-synsem := coherent-complement-verb-synsem & inf-verb-synsem. saturated-comp-inf-verb-synsem := saturated-comp-verb-synsem & inf-verb-synsem & [ loc.cat.head comp-inf-verb-head ]. complete-comp-inf-verb-synsem := saturated-comp-inf-verb-synsem & complete-synsem. passive-verb-synsem := coherent-complement-verb-synsem & non-inf-verb-synsem & [loc.cat.head passive-verb-head]. lexical-verb-synsem := verb-event-synsem & [loc.coord -, v2 non_v2]. verb-flex := arche-form & nocomma-sign & [ LR [p #p, LR_INFLECTED -], MORPH , synsem verb-event-synsem & [lkeys.mclass #mc & vclass & [p #p], loc [ cat [head no-eps-head & [ vform #vform ], ucomps <>] ], que , v2 non_v2 ] ]. fin-verb-flex := stem-or-lex-sign & [ MORPH , synsem.loc.CONT.HOOK.INDEX.E #temo ]. verb-lex := verb-flex & [ synsem.loc.cat.head.flip - ]. subcat-open-verb-lex := verb-lex. subcat-closed-verb-lex := non-aux-verb-lex. subj-verb-synsem := lexical-verb-synsem & [ loc.cat.subj < saturated-comp-noun-synsem & [ LOC [cat [ head.cas struc-case ], uniagr nga-n-g & [cas struc-case]] ] > ]. log-subj-verb-synsem := subj-verb-synsem & [ loc.cat [ subj < [ LOC.CONT.HOOK.INDEX #i ] >, LOG-SUBJ #i ] ]. log-subj-verb-lex := subcat-closed-verb-lex & [ synsem log-subj-verb-synsem ]. intr-verb-synsem := verb-synsem & [ loc.cat.subcat ]. nerg-intr-or-lex-verb-synsem := verb-synsem & [ loc.erg < > ]. lexical-nerg-intr-or-lex-verb-synsem := lexical-verb-synsem & nerg-intr-or-lex-verb-synsem. lexical-nerg-intr-verb-synsem := lexical-nerg-intr-or-lex-verb-synsem & intr-verb-synsem. log-subj-nerg-intr-or-lex-verb-synsem := log-subj-verb-synsem & lexical-nerg-intr-or-lex-verb-synsem. lexical-nerg-trans-verb-synsem := lexical-verb-synsem & [ loc [ cat.subcat , erg < #erg > ] ]. log-subj-nerg-verb-synsem := log-subj-verb-synsem & [loc.cat.subj < [ loc.cat.gf gf-subj ] > ]. log-subj-nerg-trans-verb-synsem := log-subj-nerg-verb-synsem & lexical-nerg-trans-verb-synsem. lexical-nerg-ditrans-verb-synsem := lexical-verb-synsem & [ loc [ cat.subcat , erg < #erg > ] ]. log-subj-nerg-ditrans-verb-synsem := log-subj-nerg-verb-synsem & lexical-nerg-ditrans-verb-synsem. lexical-nerg-tritrans-verb-synsem := lexical-verb-synsem & [ loc [ cat.subcat , erg < #erg > ] ]. log-subj-nerg-tritrans-verb-synsem := log-subj-nerg-verb-synsem & lexical-nerg-tritrans-verb-synsem. erg-verb-synsem := verb-synsem & [ loc [ cat.subj #erg, erg #erg ] ]. lexical-erg-verb-synsem := lexical-verb-synsem & erg-verb-synsem. log-subj-erg-verb-synsem := log-subj-verb-synsem & lexical-erg-verb-synsem & [ loc.cat.subj < [ loc.cat.gf gf-obj ] > ]. no-particle-verb-synsem := lexical-verb-synsem & [ loc.cat.vcomp <> ]. particle-verb-handel-princ := verb-synsem & [ LOC [ CONT.hook [ltop #handle, INDEX individual ], CAT.VCOMP < [ LOC.CONT [ hook.ltop #handle] ], ... > ] ]. copula-verb-synsem-syn := lexical-verb-synsem & [ loc [ cat [ auxf sein-auxf, head.flip -, subj #subj ], erg #subj ] ]. copula-verb-synsem := copula-verb-synsem-syn & copula-synsem-sem. copula-prd-verb-synsem := copula-verb-synsem & copula-prd-synsem-sem. copula-verb-lex := subcat-closed-verb-lex & [ synsem copula-prd-verb-synsem ]. copula-id-lex-synsem-syn := copula-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem & [ loc [cat [ head.cas struc-case, _drop - ], uniagr n-n-g & [cas struc-case]] ] >, subcat , vcomp <> ] ]. copula-id-lex-synsem := copula-id-lex-synsem-syn & copula-id-synsem-sem. copula-id-verb-lex := subcat-closed-verb-lex & [ synsem copula-id-lex-synsem ]. copula-pp-lex := copula-verb-lex & [ SYNSEM [ LOC [ CAT [ SUBJ < #subj & [ LOC [ cat._drop - ] ] >, subcat , extra na_or_- ], _drop -, drop -, opt - ], cont [KEY [LBL #t, ARG0 #ev], hook [index #ev, ltop #t]] ] ] !>, vcomp <> ], cont [ hook [INDEX #ev, ltop #t], KEY [ LBL #t, arg0 #ev ], RELS , HCONS ] ] ] ]. copula-kopula-lex := copula-verb-lex & [ synsem copula-synsem-sem & [ loc [ cat [ subj #subj, subcat , vcomp < adj-prd-synsem & [loc [ cat [ head.subj #subj, _drop -, drop -, opt -], cont [hook [--oind #oind, index #i, ltop #t] ] ], phrase - ] > ], cont [ hook [--oind #oind, ltop #t, index #i], RELS , KEY event-rel, HCONS ] ] ] ]. werden-kopula-lex := copula-verb-lex & [ synsem [ loc [ cat [ subj #subj & < saturated-ref-comp-noun-synsem & [ LOC [ cat._drop -, CONT [hook [INDEX #id]] ] ] >, auxf sein-auxf, subcat , vcomp < adj-prd-synsem & [ loc [ cat [ head.subj #subj, _drop -, drop - ], cont [ hook [xarg #id, ltop #handle, INDEX event & [e [tense no_tense, mood no_mood, perfective -]]], key [arg1 #id ]] ], phrase - ] > ], cont [ KEY #key & [ ARG1 #arg1 ], RELS , HCONS ] ] ] ]. coherent-verb-synsem-syn := lexical-verb-synsem & [ LOC [ CAT [ SUBJ #subj, vcomp < coherent-complement-verb-synsem & [ loc [ cat.head [ subj #subj, flip - ], cont.hook.index [--tpc tpc], erg #erg ] ] > ], erg #erg ] ]. coherent-itr-verb-synsem-syn := coherent-verb-synsem-syn & intr-verb-synsem. bse-vcomp-verb-synsem := coherent-verb-synsem-syn & [ loc.cat.vcomp < [ loc [cat.head.vform bse-sm , cont.hook.index [e [tense no_tense, mood no_mood]] ] ] > ]. inf-vcomp-verb-synsem := coherent-verb-synsem-syn &[ loc.cat.vcomp < [ loc.cat.head.vform inf-sm ] > ]. coherent-itr-bse-verb-synsem-syn := coherent-itr-verb-synsem-syn & bse-vcomp-verb-synsem. coherent-refl-bse-verb-synsem-syn := bse-vcomp-verb-synsem & [LOC.CAT.SUBCAT ]. coherent-itr-inf-verb-synsem-syn := coherent-itr-verb-synsem-syn & inf-vcomp-verb-synsem. modal-verb-synsem-syn := aux-haben-verb-synsem & coherent-itr-bse-verb-synsem-syn & [LOC.CAT.VCOMP <[LOC.CAT.HEAD bse-verb-head]>]. modal-verb-synsem := modal-verb-synsem-syn & modal-verb-synsem-sem. modal-inf-verb-synsem := coherent-itr-inf-verb-synsem-syn & modal-verb-synsem-sem. modal-refl-bse-verb-synsem := coherent-refl-bse-verb-synsem-syn & modal-verb-synsem-sem. modal-verb-lex := non-aux-verb-flex & [synsem modal-verb-synsem]. modal-inf-verb-lex := non-aux-verb-flex & [ synsem modal-inf-verb-synsem ]. modal-refl-verb-lex := non-aux-verb-flex & [synsem modal-refl-bse-verb-synsem ]. flip-verb-lex := arche-form & [ MORPH , synsem verb-event-synsem & [ loc [ cat.head ppp-verb-head & [auxf haben-auxf, flip + ] ], v2 non_v2 ] ]. modal-flip-verb-lex := flip-verb-lex & [ synsem modal-verb-synsem ]. trans-nerg-lex-flip-verb-lex := flip-verb-lex & [synsem trans-nerg-lex-verb-synsem]. moechte-modal-verb-synsem := modal-verb-synsem-syn & moechte-modal-verb-synsem-sem. moechte-modal-verb-lex := non-aux-verb-lex & [morph , synsem moechte-modal-verb-synsem ]. moechte-modal-flip-verb-lex := flip-verb-lex & [morph , synsem moechte-modal-verb-synsem ]. intrans-modal-verb-synsem-syn := no-particle-verb-synsem & intr-verb-synsem & [ loc [ cat [ auxf haben-auxf, subj < saturated-ref-comp-noun-synsem & [ loc [cat [ head.cas struc-case, _drop - ], uniagr nga-n-g & [cas struc-case]] ] > ], erg < > ] ]. intrans-modal-verb-synsem := intrans-modal-verb-synsem-syn & modal-main-verb-synsem-sem. modal-main-verb-lex := non-aux-verb-lex & [ synsem intrans-modal-verb-synsem ]. verb-sign := sign & [ synsem verb-synsem ]. particle-head := sp-prd-adj-or-non-fin-verb-head & __vc-type & possib-sent-final-head & [prd -, _vc sp-form, sep bool, extra na_or_-, sp-form sp-form ]. super-particle-synsem := sp-or-prd-adj-or-non-fin-verb-synsem & saturated-synsem & [loc [cat.head particle-head]]. particle-sep-or-nonsep-synsem := super-particle-synsem & [loc.anc [self , inert , active ]]. particle-separat-synsem := particle-sep-or-nonsep-synsem & sp-sep-or-prd-adj-or-non-fin-verb-synsem. particle-synsem := particle-sep-or-nonsep-synsem & complete-synsem. particle-or-more-verb-synsem := particle-verb-handel-princ & [loc [cat.vcomp < super-particle-synsem & [loc.cont.key [lbl #l, arg0 event, arg1 #ev] ], ... >, cont [hook [index #ev], key.lbl #l]] ]. super-particle-verb-synsem := particle-or-more-verb-synsem & [ loc.cat.vcomp < [] > ]. root-head := head. initial_+_fin-verb-head := initial_+-or-eps-verb-head & v1-head & initial_+_noncomp-head & vcomp-no-sp-head & adj-or-adv-or-verb-head & root-head. initial_-_fin-verb-head := fin-verb-head & final-verb-head & complement-head. v-final-head := initial_-_fin-verb-head & no-eps-verb-head. particle-or-more_+vc-verb-synsem := particle-or-more-verb-synsem & [loc.cat [vcomp ] ]. particle_+vc-verb-synsem := particle-or-more_+vc-verb-synsem & super-particle-verb-synsem. particle-verb-synsem := super-particle-verb-synsem & [ loc.cat [vcomp ] ]. particle-separat-verb-synsem := super-particle-verb-synsem & [loc.cat [vcomp ]]. super-raising-verb-synsem-syn := lexical-verb-synsem & [ loc.cat [ subj #subj, vcomp < coherent-complement-verb-synsem & [ loc.cat.head [ subj #subj ] ] > ] ]. raising-verb-synsem-syn := lexical-verb-synsem & [ loc.cat [ subj #subj, subcat , vcomp < coherent-complement-verb-synsem & [ loc.cat.head [ subj #subj ] ] > ] ]. aux-verb-synsem-syn := raising-verb-synsem-syn & [loc [cat [head.aux +, vcomp <[]> ] ] ]. aux-verb-synsem := aux-verb-synsem-syn & aux-verb-synsem-sem. nerg-aux-verb-synsem := lexical-nerg-intr-or-lex-verb-synsem & aux-verb-synsem. erg-aux-verb-synsem := lexical-erg-verb-synsem & aux-verb-synsem & [loc.cat.auxf sein-auxf ]. non-aux-verb-flex := verb-flex & [morph ]. non-aux-verb-lex := non-aux-verb-flex & verb-lex. aux-verb-lex := arche-form & nocomma-sign & [synsem nerg-aux-verb-synsem & [LOC.CAT.HEAD.VFORM #vform], LR [LR_INFLECTED -], MORPH ]. erg-aux-verb-lex := arche-form & nocomma-sign & [synsem erg-aux-verb-synsem & [LOC.CAT.HEAD.VFORM #vform], LR [LR_INFLECTED -], MORPH ]. haben-aux-verb-lex := super-haben-aux-verb-lex & [SYNSEM.V2 non_v2]. imp-haben-aux-verb-lex := super-haben-aux-verb-lex. super-haben-aux-verb-lex := arche-form & nocomma-sign & [ LR [p #p, LR_INFLECTED -], MORPH , synsem verb-event-synsem & [lkeys.mclass #mc & vclass & [p #p], loc [ cat [head no-eps-head & [ vform #vform ], ucomps <>] ], que ] ] & [synsem aux-verb-synsem & [loc [anc [self , active , inert ], cat [head.passive non-apsv, vcomp <[loc [cont.hook.index event & [--psv non-apsv] , cat.head.aux bool]]>]], lkeys.mclass vclass-irr] ]. ;;; was vcomp...aux - aux-log-subj-verb-synsem := aux-verb-synsem & log-subj-verb-synsem. aux-log-subj-verb-lex := verb-lex & [ synsem aux-log-subj-verb-synsem ]. super-intrans-nerg-verb-synsem-syn := log-subj-nerg-intr-or-lex-verb-synsem & intr-verb-synsem. super-intrans-ref-nerg-verb-synsem-syn := super-intrans-nerg-verb-synsem-syn & [ loc.cat.subj < saturated-ref-comp-noun-synsem > ]. super-intrans-expl-nerg-verb-synsem-syn := super-intrans-nerg-verb-synsem-syn & [ loc.cat.subj < expl-noun-synsem > ]. intrans-nerg-verb-synsem-syn := super-intrans-ref-nerg-verb-synsem-syn & no-particle-verb-synsem & [loc.cat.subcat [list #last, last #last ]]. intrans-nerg-verb-synsem := intrans-nerg-verb-synsem-syn & intrans-verb-synsem-sem. intrans-nerg-verb-lex := subcat-closed-verb-lex & [ synsem intrans-nerg-verb-synsem ]. intrans-nerg-particle-verb-synsem-syn := super-intrans-ref-nerg-verb-synsem-syn & particle-verb-synsem. intrans-nerg-particle-verb-synsem := intrans-nerg-particle-verb-synsem-syn & intrans-verb-synsem-sem. intrans-nerg-particle-verb-lex := subcat-closed-verb-lex & [ synsem intrans-nerg-particle-verb-synsem ]. intrans-nerg-particle-separat-verb-synsem-syn := super-intrans-ref-nerg-verb-synsem-syn & particle-separat-verb-synsem. intrans-nerg-particle-separat-verb-synsem := intrans-nerg-particle-separat-verb-synsem-syn & intrans-verb-synsem-sem. intrans-nerg-particle-separat-verb-lex := subcat-closed-verb-lex & [ synsem intrans-nerg-particle-separat-verb-synsem ]. intrans-expl-nerg-verb-synsem-syn := super-intrans-expl-nerg-verb-synsem-syn & no-particle-verb-synsem. intrans-expl-verb-synsem-sem := main-verb-synsem-sem. intrans-expl-nerg-verb-synsem := intrans-expl-nerg-verb-synsem-syn & intrans-expl-verb-synsem-sem. intrans-expl-nerg-verb-lex := subcat-closed-verb-lex & [ synsem intrans-expl-nerg-verb-synsem ]. intrans-expl-nerg-particle-verb-synsem-syn := super-intrans-expl-nerg-verb-synsem-syn & particle-verb-synsem. intrans-expl-nerg-particle-verb-synsem := intrans-expl-nerg-particle-verb-synsem-syn & intrans-expl-verb-synsem-sem. intrans-expl-nerg-particle-verb-lex := subcat-closed-verb-lex & [ synsem intrans-expl-nerg-particle-verb-synsem ]. intrans-erg-or-theme-verb-synsem-syn := log-subj-erg-verb-synsem & [ loc.cat.subj < saturated-ref-comp-noun-synsem > ]. aux-sein-verb-synsem := verb-synsem & [ loc.cat.auxf sein-auxf ]. aux-haben-verb-synsem := verb-synsem & [ loc.cat.auxf haben-auxf ]. super-intrans-erg-verb-synsem-syn := intrans-erg-or-theme-verb-synsem-syn & intr-verb-synsem & aux-sein-verb-synsem. intrans-erg-verb-synsem-syn := super-intrans-erg-verb-synsem-syn & no-particle-verb-synsem & [loc.cat.subcat [list #last, last #last & *null*]]. intrans-erg-verb-synsem := intrans-erg-verb-synsem-syn & intrans-verb-synsem-sem. intrans-erg-verb-lex := subcat-closed-verb-lex & [ synsem intrans-erg-verb-synsem ]. intrans-erg-particle-verb-synsem-syn := super-intrans-erg-verb-synsem-syn & particle-verb-synsem. intrans-erg-particle-verb-synsem := intrans-erg-particle-verb-synsem-syn & intrans-verb-synsem-sem. intrans-erg-particle-verb-lex := subcat-closed-verb-lex & [ synsem intrans-erg-particle-verb-synsem ]. super-intrans-theme-verb-synsem-syn := intrans-erg-or-theme-verb-synsem-syn & aux-haben-verb-synsem & [loc.cat.subcat [list #last & <>, last #last ]]. intrans-theme-verb-synsem-syn := super-intrans-theme-verb-synsem-syn & no-particle-verb-synsem. intrans-theme-verb-synsem := intrans-theme-verb-synsem-syn & intrans-verb-synsem-sem. intrans-theme-verb-lex := subcat-closed-verb-lex & [ synsem intrans-theme-verb-synsem ]. intrans-theme-particle-verb-synsem-syn := super-intrans-theme-verb-synsem-syn & particle-verb-synsem. intrans-theme-particle-verb-synsem := intrans-theme-particle-verb-synsem-syn & intrans-verb-synsem-sem. intrans-theme-particle-verb-lex := subcat-closed-verb-lex & [ synsem intrans-theme-particle-verb-synsem ]. super-intrans-refl-verb-synsem-syn := log-subj-nerg-verb-synsem & [ loc [cat [ auxf haben-auxf, subj < saturated-ref-comp-noun-synsem & [ loc.cont.HOOK.INDEX [png #png] ] >, subcat ], erg < > ] ]. intrans-refl-verb-synsem-syn := super-intrans-refl-verb-synsem-syn & no-particle-verb-synsem. intrans-refl-verb-synsem := intrans-refl-verb-synsem-syn & intrans-verb-synsem-sem. intrans-refl-verb-lex := subcat-closed-verb-lex & [ synsem intrans-refl-verb-synsem ]. intrans-refl-particle-verb-synsem-syn := super-intrans-refl-verb-synsem-syn & particle-verb-synsem. intrans-refl-particle-verb-synsem := intrans-refl-particle-verb-synsem-syn & intrans-verb-synsem-sem. intrans-refl-particle-verb-lex := subcat-closed-verb-lex & [ synsem intrans-refl-particle-verb-synsem ]. super-trans-nerg-str-verb-synsem-syn := log-subj-nerg-trans-verb-synsem & [ loc.cat.subcat ]. ref-super-trans-nerg-str-verb-synsem-syn := super-trans-nerg-str-verb-synsem-syn & [ loc.cat.subj < ref-comp-noun-synsem > ]. super-expl-trans-nerg-str-verb-synsem-syn := super-trans-nerg-str-verb-synsem-syn & [ loc.cat.subj < expl-noun-synsem > ]. trans-nerg-str-verb-synsem-syn := ref-super-trans-nerg-str-verb-synsem-syn & no-particle-verb-synsem. trans-nerg-str-verb-synsem := trans-nerg-str-verb-synsem-syn & trans-verb-synsem-sem. trans-nerg-str-verb-lex := subcat-closed-verb-lex & [ synsem trans-nerg-str-verb-synsem ]. trans-nerg-str-particle-verb-synsem-syn := ref-super-trans-nerg-str-verb-synsem-syn & particle-verb-synsem. trans-nerg-str-particle-verb-synsem := trans-nerg-str-particle-verb-synsem-syn & trans-verb-synsem-sem. trans-nerg-str-particle-verb-lex := subcat-closed-verb-lex & [ synsem trans-nerg-str-particle-verb-synsem ]. trans-nerg-str-particle-separat-verb-synsem-syn := ref-super-trans-nerg-str-verb-synsem-syn & particle-separat-verb-synsem. trans-nerg-str-particle-separat-verb-synsem := trans-nerg-str-particle-separat-verb-synsem-syn & trans-verb-synsem-sem. trans-nerg-str-particle-separat-verb-lex := subcat-closed-verb-lex & [ synsem trans-nerg-str-particle-separat-verb-synsem ]. trans-nerg-str-expl-verb-synsem-syn := super-expl-trans-nerg-str-verb-synsem-syn & no-particle-verb-synsem. trans-nerg-str-expl-verb-synsem := trans-nerg-str-expl-verb-synsem-syn & trans-verb-expl-synsem-sem. trans-nerg-str-expl-verb-lex := subcat-closed-verb-lex & [ synsem trans-nerg-str-expl-verb-synsem ]. trans-nerg-str-expl-particle-verb-synsem-syn := super-expl-trans-nerg-str-verb-synsem-syn & particle-verb-synsem. trans-nerg-str-expl-particle-verb-synsem := trans-nerg-str-expl-particle-verb-synsem-syn & trans-verb-expl-synsem-sem. trans-nerg-str-expl-particle-verb-lex := subcat-closed-verb-lex & [ synsem trans-nerg-str-expl-particle-verb-synsem ]. super-trans-nerg-lex-verb-synsem-syn := log-subj-nerg-intr-or-lex-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. trans-nerg-lex-verb-synsem-syn := super-trans-nerg-lex-verb-synsem-syn & no-particle-verb-synsem. trans-nerg-lex-verb-synsem := trans-nerg-lex-verb-synsem-syn & trans-verb-synsem-sem. trans-nerg-lex-verb-lex := subcat-closed-verb-lex & [ synsem trans-nerg-lex-verb-synsem ]. trans-nerg-lex-particle-verb-synsem-syn := super-trans-nerg-lex-verb-synsem-syn & particle-verb-synsem. trans-nerg-lex-particle-verb-synsem := trans-nerg-lex-particle-verb-synsem-syn & trans-verb-synsem-sem. trans-nerg-lex-particle-verb-lex := subcat-closed-verb-lex & [ synsem trans-nerg-lex-particle-verb-synsem ]. trans-nerg-lex-particle-separat-verb-synsem-syn := super-trans-nerg-lex-verb-synsem-syn & particle-separat-verb-synsem. trans-nerg-lex-particle-separat-verb-synsem := trans-nerg-lex-particle-separat-verb-synsem-syn & trans-verb-synsem-sem. trans-nerg-lex-particle-separat-verb-lex := subcat-closed-verb-lex & [ synsem trans-nerg-lex-particle-separat-verb-synsem ]. super-trans-erg-verb-synsem-syn := log-subj-erg-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. trans-erg-verb-synsem-syn := super-trans-erg-verb-synsem-syn & no-particle-verb-synsem. trans-erg-particle-verb-synsem-syn := super-trans-erg-verb-synsem-syn & particle-verb-synsem. trans-erg-verb-synsem := trans-erg-verb-synsem-syn & trans-verb-synsem-sem. trans-erg-verb-lex := subcat-closed-verb-lex & [ synsem trans-erg-verb-synsem ]. trans-erg-particle-verb-synsem := trans-erg-particle-verb-synsem-syn & trans-verb-synsem-sem. trans-erg-particle-verb-lex := subcat-closed-verb-lex & [ synsem trans-erg-particle-verb-synsem ]. super-trans-theme-verb-synsem-syn := lexical-verb-synsem & aux-haben-verb-synsem & [ loc.cat.subcat , phrase - ]. super-trans-np-theme-verb-synsem-syn := log-subj-erg-verb-synsem & super-trans-theme-verb-synsem-syn & [ loc.cat.subj < saturated-ref-comp-noun-synsem > ]. trans-theme-verb-synsem-syn := super-trans-np-theme-verb-synsem-syn & no-particle-verb-synsem. trans-theme-particle-verb-synsem-syn := super-trans-np-theme-verb-synsem-syn & particle-verb-synsem. trans-theme-verb-synsem := trans-theme-verb-synsem-syn & trans-verb-synsem-sem. trans-theme-verb-lex := subcat-closed-verb-lex & [ synsem trans-theme-verb-synsem ]. trans-theme-particle-verb-synsem := trans-theme-particle-verb-synsem-syn & trans-verb-synsem-sem. trans-theme-particle-verb-lex := subcat-closed-verb-lex & [ synsem trans-theme-particle-verb-synsem ]. v1-head := initial_+_-head. complementizer-head := v1-head & extrapos_head & int-or-comp-clause-head. mod-complementizer-head := verb-modifier-head & complementizer-head & non-verbal-root-head . pre-mod-complementizer-head := mod-complementizer-head & pre-a-v-mod-head. post-mod-complementizer-head := mod-complementizer-head & post-a-v-mod-head. comp-complementizer-head := complementizer-head & vcomp-no-sp-no-v-head & [ cform cform ]. v2-complementizer-head := comp-complementizer-head & [ cform v2-cf ]. c-comp-complementizer-head := comp-complementizer-head & non-verbal-root-head. ;; Zeichen fuer Komplemente complementizer-synsem-syn := synsem & [loc [cat [ head complementizer-head, vcomp <>, _drop -, drop - ], cont.hook.index [e.tense finite] ]]. v2-comp-or-comp-synsem := complementizer-synsem-syn & clausal-complement-synsem & saturated-complement-synsem. v2-comp-synsem := v2-comp-or-comp-synsem & [ loc.cat.head v2-complementizer-head ]. complete-v2-comp-synsem := v2-comp-synsem & complete-synsem. complete-v2-comp-or-comp-synsem := complete-synsem & v2-comp-or-comp-synsem. comp-synsem := v2-comp-or-comp-synsem. complete-comp-synsem := comp-synsem & complete-synsem. super-trans-theme-scomp-verb-synsem-syn := log-subj-erg-verb-synsem & aux-haben-verb-synsem & [ loc [ cat [ subj < expl-noun-synsem >, subcat ] ] ]. trans-theme-scomp-verb-synsem-syn := super-trans-theme-scomp-verb-synsem-syn & no-particle-verb-synsem. trans-theme-scomp-verb-synsem := trans-theme-scomp-verb-synsem-syn & trans-verb-expl-synsem-sem. trans-theme-scomp-verb-lex := subcat-closed-verb-lex & [ synsem trans-theme-scomp-verb-synsem ]. trans-theme-scomp-particle-verb-synsem-syn := super-trans-theme-scomp-verb-synsem-syn & particle-verb-synsem. trans-theme-scomp-particle-verb-synsem := trans-theme-scomp-particle-verb-synsem-syn & trans-verb-expl-synsem-sem. trans-theme-scomp-particle-verb-lex := subcat-closed-verb-lex & [ synsem trans-theme-scomp-particle-verb-synsem ]. super-subjless-verb-synsem-syn := lexical-nerg-intr-or-lex-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ head.aux -, subj *empty-or-expl-synsem-list* ] ]. super-subjless-np-verb-synsem-syn := super-subjless-verb-synsem-syn & [ loc.cat.subcat ]. subjless-np-particle-verb-synsem-syn := super-subjless-np-verb-synsem-syn & particle-verb-synsem. subjless-np-particle-verb-synsem := subjless-np-particle-verb-synsem-syn & subjless-np-verb-synsem-sem. subjless-np-particle-verb-lex := subcat-closed-verb-lex & [ synsem subjless-np-particle-verb-synsem ]. subjless-np-verb-synsem-syn := super-subjless-np-verb-synsem-syn & no-particle-verb-synsem. subjless-np-verb-synsem-sem := main-verb-synsem-sem. subjless-np-verb-synsem := subjless-np-verb-synsem-syn & subjless-np-verb-synsem-sem. subjless-np-verb-lex := subcat-closed-verb-lex & [ synsem subjless-np-verb-synsem ]. super-subjless-np-pp-verb-synsem-syn := super-subjless-verb-synsem-syn & [ loc.cat.subcat ]. subjless-np-pp-verb-synsem-syn := super-subjless-np-pp-verb-synsem-syn & no-particle-verb-synsem. subjless-np-pp-verb-synsem-sem := main-verb-synsem-sem. subjless-np-pp-verb-synsem := subjless-np-pp-verb-synsem-syn & subjless-np-pp-verb-synsem-sem. subjless-np-pp-verb-lex := subcat-closed-verb-lex & [ synsem subjless-np-pp-verb-synsem ]. s-v2-synsem := saturated-comp-fin-verb-synsem & [ loc.cat [ head initial_+_fin-verb-head, _drop -, drop - ] ]. complete-s-v2-synsem := s-v2-synsem & complete-comp-fin-verb-synsem. complete-s-v1-synsem := s-v1-synsem & complete-comp-fin-verb-synsem. s-v1-synsem := saturated-comp-fin-verb-synsem & [ loc.cat [ head initial_+_fin-verb-head, _drop -, drop - ], nonloc undef-nonlocs_min, v2 non_v2 ]. super-np-scomp-nerg-verb-synsem-syn := log-subj-nerg-trans-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. np-scomp-nerg-verb-synsem-syn := super-np-scomp-nerg-verb-synsem-syn & no-particle-verb-synsem. np-scomp-nerg-particle-verb-synsem-syn := super-np-scomp-nerg-verb-synsem-syn & particle-verb-synsem. np-scomp-nerg-verb-synsem := np-scomp-nerg-verb-synsem-syn & trans-verb-scomp-synsem-sem. np-scomp-nerg-verb-lex := subcat-closed-verb-lex & [ synsem np-scomp-nerg-verb-synsem ]. np-scomp-nerg-particle-verb-synsem := np-scomp-nerg-particle-verb-synsem-syn & trans-verb-scomp-synsem-sem. np-scomp-nerg-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-scomp-nerg-particle-verb-synsem ]. super-scomp-np-str-nerg-verb-synsem-syn := lexical-nerg-trans-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < comp-synsem >, subcat ] ]. scomp-np-str-nerg-verb-synsem-syn := super-scomp-np-str-nerg-verb-synsem-syn & no-particle-verb-synsem. scomp-np-str-nerg-particle-verb-synsem-syn := super-scomp-np-str-nerg-verb-synsem-syn & particle-verb-synsem. scomp-np-str-nerg-verb-synsem := scomp-np-str-nerg-verb-synsem-syn & trans-verb-scomp-synsem-sem. scomp-np-str-nerg-verb-lex := subcat-closed-verb-lex & [ synsem scomp-np-str-nerg-verb-synsem ]. scomp-np-str-nerg-particle-verb-synsem := scomp-np-str-nerg-particle-verb-synsem-syn & trans-verb-scomp-synsem-sem. scomp-np-str-nerg-particle-verb-lex := subcat-closed-verb-lex & [ synsem scomp-np-str-nerg-particle-verb-synsem ]. super-scomp-np-theme-verb-synsem-syn := super-trans-theme-verb-synsem-syn & [ loc.cat.subj < comp-synsem > ]. scomp-np-theme-verb-synsem-syn := super-scomp-np-theme-verb-synsem-syn & no-particle-verb-synsem. scomp-np-theme-particle-verb-synsem-syn := super-scomp-np-theme-verb-synsem-syn & particle-verb-synsem. scomp-np-theme-verb-synsem := scomp-np-theme-verb-synsem-syn & trans-verb-scomp-synsem-sem. scomp-np-theme-verb-lex := subcat-closed-verb-lex & [ synsem scomp-np-theme-verb-synsem ]. scomp-np-theme-particle-verb-synsem := scomp-np-theme-particle-verb-synsem-syn & trans-verb-scomp-synsem-sem. scomp-np-theme-particle-verb-lex := subcat-closed-verb-lex & [ synsem scomp-np-theme-particle-verb-synsem ]. super-scomp-erg-verb-synsem-syn := lexical-erg-verb-synsem & aux-sein-verb-synsem & [ loc.cat [ subj < comp-synsem >, subcat ] ]. super-scomp-np-erg-verb-synsem-syn := lexical-erg-verb-synsem & aux-sein-verb-synsem & [ loc.cat [ subj < comp-synsem >, subcat ] ]. scomp-np-erg-verb-synsem-syn := super-scomp-np-erg-verb-synsem-syn & no-particle-verb-synsem. scomp-np-erg-particle-verb-synsem-syn := super-scomp-np-erg-verb-synsem-syn & particle-verb-synsem. scomp-erg-verb-synsem-syn := super-scomp-erg-verb-synsem-syn & no-particle-verb-synsem. scomp-erg-particle-verb-synsem-syn := super-scomp-erg-verb-synsem-syn & particle-verb-synsem. scomp-erg-verb-synsem := scomp-np-erg-verb-synsem-syn & scomp-verb-synsem-sem. scomp-erg-verb-lex := subcat-closed-verb-lex & [ synsem scomp-np-erg-verb-synsem ]. scomp-erg-particle-verb-synsem := scomp-erg-particle-verb-synsem-syn & scomp-verb-synsem-sem. scomp-erg-particle-verb-lex := subcat-closed-verb-lex & [ synsem scomp-erg-particle-verb-synsem ]. scomp-np-erg-verb-synsem := scomp-np-erg-verb-synsem-syn & trans-verb-scomp-synsem-sem. scomp-np-erg-verb-lex := subcat-closed-verb-lex & [ synsem scomp-np-erg-verb-synsem ]. scomp-np-erg-particle-verb-synsem := scomp-np-erg-particle-verb-synsem-syn & trans-verb-scomp-synsem-sem. scomp-np-erg-particle-verb-lex := subcat-closed-verb-lex & [ synsem scomp-np-erg-particle-verb-synsem ]. super-np-scomp-v2-nerg-verb-synsem-syn := log-subj-nerg-intr-or-lex-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. np-scomp-v2-nerg-verb-synsem-syn := super-np-scomp-v2-nerg-verb-synsem-syn & no-particle-verb-synsem. np-scomp-v2-nerg-particle-verb-synsem-syn := super-np-scomp-v2-nerg-verb-synsem-syn & particle-verb-synsem. np-scomp-v2-nerg-verb-synsem := np-scomp-v2-nerg-verb-synsem-syn & trans-verb-scomp-v2-synsem-sem. np-scomp-v2-nerg-verb-lex := subcat-closed-verb-lex & [ synsem np-scomp-v2-nerg-verb-synsem ]. np-scomp-v2-nerg-particle-verb-synsem := np-scomp-v2-nerg-particle-verb-synsem-syn & trans-verb-scomp-v2-synsem-sem. np-scomp-v2-nerg-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-scomp-v2-nerg-particle-verb-synsem ]. super-trans-refl-nerg-verb-synsem-syn := log-subj-nerg-intr-or-lex-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem & [ loc.cont.HOOK.INDEX [png #png] ] >, subcat ] ]. trans-refl-nerg-verb-synsem-syn := super-trans-refl-nerg-verb-synsem-syn & no-particle-verb-synsem. trans-refl-nerg-particle-verb-synsem-syn := super-trans-refl-nerg-verb-synsem-syn & particle-verb-synsem. trans-refl-nerg-verb-synsem := trans-refl-nerg-verb-synsem-syn & trans-verb-synsem-sem. trans-refl-nerg-verb-lex := subcat-closed-verb-lex & [ synsem trans-refl-nerg-verb-synsem ]. trans-refl-nerg-particle-verb-synsem := trans-refl-nerg-particle-verb-synsem-syn & trans-verb-synsem-sem. trans-refl-nerg-particle-verb-lex := subcat-closed-verb-lex & [ synsem trans-refl-nerg-particle-verb-synsem ]. super-ditrans-nerg-verb-synsem-syn := log-subj-nerg-ditrans-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. super-ditrans-nerg-dat-verb-synsem-syn := super-ditrans-nerg-verb-synsem-syn & [ loc.cat.subcat ]. ditrans-nerg-no-particle-verb-synsem-syn := super-ditrans-nerg-verb-synsem-syn & no-particle-verb-synsem. ditrans-nerg-verb-synsem-syn := ditrans-nerg-no-particle-verb-synsem-syn. ditrans-nerg-dat-no-particle-verb-synsem-syn := super-ditrans-nerg-dat-verb-synsem-syn & no-particle-verb-synsem. ditrans-nerg-dat-verb-synsem-syn := ditrans-nerg-dat-no-particle-verb-synsem-syn. ditrans-nerg-dat-particle-verb-synsem-syn := super-ditrans-nerg-dat-verb-synsem-syn & particle-verb-synsem. ditrans-nerg-particle-verb-synsem-syn := super-ditrans-nerg-verb-synsem-syn & particle-verb-synsem. ditrans-nerg-verb-synsem := ditrans-nerg-verb-synsem-syn & ditrans-verb-synsem-sem. ditrans-nerg-verb-lex := subcat-closed-verb-lex & [ synsem ditrans-nerg-verb-synsem ]. ditrans-nerg-particle-verb-synsem := ditrans-nerg-particle-verb-synsem-syn & ditrans-verb-synsem-sem. ditrans-nerg-particle-verb-lex := subcat-closed-verb-lex & [ synsem ditrans-nerg-particle-verb-synsem ]. trans-free-dat-verb-synsem := ditrans-nerg-dat-verb-synsem-syn & trans-free-dat-verb-synsem-sem. trans-free-dat-verb-lex := subcat-closed-verb-lex & [ SYNSEM trans-free-dat-verb-synsem ]. trans-free-dat-particle-verb-synsem := ditrans-nerg-dat-particle-verb-synsem-syn & trans-free-dat-verb-synsem-sem. trans-free-dat-particle-verb-lex := subcat-closed-verb-lex & [ SYNSEM trans-free-dat-particle-verb-synsem ]. super-np-scomp-np-verb-synsem-syn := log-subj-nerg-ditrans-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. np-scomp-np-verb-synsem-syn := super-np-scomp-np-verb-synsem-syn & no-particle-verb-synsem. np-scomp-np-verb-synsem := np-scomp-np-verb-synsem-syn & np-scomp-np-verb-synsem-sem. np-scomp-np-verb-lex := subcat-closed-verb-lex & [ synsem np-scomp-np-verb-synsem ]. np-scomp-np-particle-verb-synsem-syn := super-np-scomp-np-verb-synsem-syn & particle-verb-synsem. np-scomp-np-particle-verb-synsem := np-scomp-np-particle-verb-synsem-syn & np-scomp-np-verb-synsem-sem. np-scomp-np-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-scomp-np-particle-verb-synsem ]. np-scomp-np-particle-separat-verb-synsem-syn := super-np-scomp-np-verb-synsem-syn & particle-separat-verb-synsem. np-scomp-np-particle-separat-verb-synsem := np-scomp-np-particle-separat-verb-synsem-syn & np-scomp-np-verb-synsem-sem. np-scomp-np-particle-separat-verb-lex := subcat-closed-verb-lex & [ synsem np-scomp-np-particle-separat-verb-synsem ]. super-np-scomp-v2-np-verb-synsem-syn := log-subj-nerg-intr-or-lex-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. np-scomp-v2-np-verb-synsem-syn := super-np-scomp-v2-np-verb-synsem-syn & no-particle-verb-synsem. np-scomp-v2-np-verb-synsem := np-scomp-v2-np-verb-synsem-syn & np-np-scomp-v2-verb-synsem-sem. np-scomp-v2-np-verb-lex := subcat-closed-verb-lex & [ synsem np-scomp-v2-np-verb-synsem ]. np-scomp-v2-np-particle-verb-synsem-syn := super-np-scomp-v2-np-verb-synsem-syn & particle-verb-synsem. np-scomp-v2-np-particle-verb-synsem := np-scomp-v2-np-particle-verb-synsem-syn & np-np-scomp-v2-verb-synsem-sem. np-scomp-v2-np-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-scomp-v2-np-particle-verb-synsem ]. super-np-np-scomp-verb-synsem-syn := log-subj-nerg-ditrans-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. np-np-scomp-verb-synsem-syn := super-np-np-scomp-verb-synsem-syn & no-particle-verb-synsem. np-np-scomp-verb-synsem := np-np-scomp-verb-synsem-syn & np-np-scomp-verb-synsem-sem. np-np-scomp-verb-lex := subcat-closed-verb-lex & [ synsem np-np-scomp-verb-synsem ]. np-np-scomp-particle-verb-synsem-syn := super-np-np-scomp-verb-synsem-syn & particle-verb-synsem. np-np-scomp-particle-verb-synsem := np-np-scomp-particle-verb-synsem-syn & np-np-scomp-verb-synsem-sem. np-np-scomp-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-np-scomp-particle-verb-synsem ]. np-np-scomp-particle-separat-verb-synsem-syn := super-np-np-scomp-verb-synsem-syn & particle-separat-verb-synsem. np-np-scomp-particle-separat-verb-synsem := np-np-scomp-particle-separat-verb-synsem-syn & np-np-scomp-verb-synsem-sem. np-np-scomp-particle-separat-verb-lex := subcat-closed-verb-lex & [ synsem np-np-scomp-particle-separat-verb-synsem ]. super-scomp-verb-synsem-syn := lexical-nerg-intr-verb-synsem & aux-haben-verb-synsem & [ loc.cat.subj < comp-synsem > ]. scomp-verb-synsem-syn := super-scomp-verb-synsem-syn & no-particle-verb-synsem. scomp-verb-synsem := scomp-verb-synsem-syn & scomp-verb-synsem-sem. scomp-verb-lex := subcat-closed-verb-lex & [ synsem scomp-verb-synsem ]. scomp-particle-verb-synsem-syn := super-scomp-verb-synsem-syn & particle-verb-synsem. scomp-particle-verb-synsem := scomp-particle-verb-synsem-syn & scomp-verb-synsem-sem. scomp-particle-verb-lex := subcat-closed-verb-lex & [ synsem scomp-particle-verb-synsem ]. super-expl-pp-verb-synsem-syn := log-subj-erg-verb-synsem & [loc.cat [ subj < expl-noun-synsem >, subcat ] ]. expl-pp-verb-synsem-syn := super-expl-pp-verb-synsem-syn & no-particle-verb-synsem. expl-pp-particle-verb-synsem-syn := super-expl-pp-verb-synsem-syn & particle-verb-synsem. expl-pp-verb-synsem := expl-pp-verb-synsem-syn & trans-verb-expl-synsem-sem. expl-pp-verb-lex := subcat-closed-verb-lex & [ synsem expl-pp-verb-synsem ]. expl-pp-particle-verb-synsem := expl-pp-particle-verb-synsem-syn & trans-verb-expl-synsem-sem. expl-pp-particle-verb-lex := subcat-closed-verb-lex & [ synsem expl-pp-particle-verb-synsem ]. super-expl-np-pp-verb-synsem-syn := log-subj-erg-verb-synsem & [loc.cat [ subj < expl-noun-synsem >, subcat ] ]. expl-np-pp-verb-synsem-syn := super-expl-np-pp-verb-synsem-syn & no-particle-verb-synsem. expl-np-pp-particle-verb-synsem-syn := super-expl-np-pp-verb-synsem-syn & particle-verb-synsem. expl-np-pp-verb-synsem := expl-np-pp-verb-synsem-syn & main-verb-synsem-sem & expl-subj-verb-synsem-sem. expl-np-pp-verb-lex := subcat-closed-verb-lex & [ synsem expl-np-pp-verb-synsem ]. expl-np-pp-particle-verb-synsem := expl-np-pp-particle-verb-synsem-syn & main-verb-synsem-sem & expl-subj-verb-synsem-sem. expl-np-pp-particle-verb-lex := subcat-closed-verb-lex & [ synsem expl-np-pp-particle-verb-synsem ]. np-expl-pp-verb-synsem-syn := log-subj-erg-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. np-expl-pp-verb-synsem := np-expl-pp-verb-synsem-syn & main-verb-synsem-sem. np-expl-pp-verb-lex := subcat-closed-verb-lex & [ synsem np-expl-pp-verb-synsem ]. expl-refl-pp-verb-synsem-syn := log-subj-erg-verb-synsem & aux-haben-verb-synsem & no-particle-verb-synsem & [ loc.cat [ subj < expl-noun-synsem >, subcat ] ]. expl-refl-pp-verb-synsem := expl-refl-pp-verb-synsem-syn & main-verb-synsem-sem. expl-refl-pp-verb-lex := subcat-closed-verb-lex & [ synsem expl-refl-pp-verb-synsem ]. super-refl-pp-verb-synsem-syn := log-subj-verb-synsem & [ loc [cat [ subj < saturated-ref-comp-noun-synsem & [ loc.cont.hook.index [png #png] ] >, subcat ], erg <> ] ]. refl-pp-verb-synsem-syn := super-refl-pp-verb-synsem-syn & no-particle-verb-synsem. refl-pp-particle-verb-synsem-syn := super-refl-pp-verb-synsem-syn & particle-verb-synsem. refl-pp-verb-synsem := refl-pp-verb-synsem-syn & main-verb-synsem-sem. refl-pp-verb-lex := subcat-closed-verb-lex & [ synsem refl-pp-verb-synsem ]. refl-pp-particle-verb-synsem := refl-pp-particle-verb-synsem-syn & main-verb-synsem-sem. refl-pp-particle-verb-lex := subcat-closed-verb-lex & [ synsem refl-pp-particle-verb-synsem ]. super-np-pp-verb-synsem-syn := log-subj-verb-synsem & [ loc.cat [subj , subcat ] ]. super-np-pp-nerg-verb-synsem-syn := super-np-pp-verb-synsem-syn & log-subj-nerg-intr-or-lex-verb-synsem. np-pp-nerg-verb-synsem-syn := super-np-pp-nerg-verb-synsem-syn & no-particle-verb-synsem. np-pp-nerg-particle-verb-synsem-syn := super-np-pp-nerg-verb-synsem-syn & particle-verb-synsem. np-pp-nerg-particle-separat-verb-synsem-syn := super-np-pp-nerg-verb-synsem-syn & particle-separat-verb-synsem. np-pp-verb-synsem := np-pp-nerg-verb-synsem-syn & np-pp-verb-synsem-sem. np-pp-verb-lex := subcat-closed-verb-lex & [ synsem np-pp-verb-synsem ]. np-pp-particle-verb-synsem := np-pp-nerg-particle-verb-synsem-syn & np-pp-verb-synsem-sem. np-pp-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-pp-particle-verb-synsem ]. np-pp-particle-separat-verb-synsem := np-pp-nerg-particle-separat-verb-synsem-syn & np-pp-verb-synsem-sem. np-pp-particle-separat-verb-lex := subcat-closed-verb-lex & [ synsem np-pp-particle-separat-verb-synsem ]. super-np-pp-erg-verb-synsem-syn := super-np-pp-verb-synsem-syn & log-subj-erg-verb-synsem. np-pp-erg-verb-synsem-syn := super-np-pp-erg-verb-synsem-syn & no-particle-verb-synsem. np-pp-erg-particle-verb-synsem-syn := super-np-pp-erg-verb-synsem-syn & particle-verb-synsem. np-pp-erg-verb-synsem := np-pp-erg-verb-synsem-syn & np-pp-verb-synsem-sem. np-pp-erg-verb-lex := subcat-closed-verb-lex & [ synsem np-pp-erg-verb-synsem ]. np-pp-erg-particle-verb-synsem := np-pp-erg-particle-verb-synsem-syn & np-pp-verb-synsem-sem. np-pp-erg-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-pp-erg-particle-verb-synsem ]. super-np-np-acc-pp-verb-synsem-syn := log-subj-nerg-ditrans-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. np-np-acc-pp-verb-synsem-syn := super-np-np-acc-pp-verb-synsem-syn & no-particle-verb-synsem. np-np-acc-pp-particle-verb-synsem-syn := super-np-np-acc-pp-verb-synsem-syn & particle-verb-synsem. np-np-acc-pp-verb-synsem := np-np-acc-pp-verb-synsem-syn & np-np-acc-pp-verb-synsem-sem. np-np-acc-pp-verb-lex := subcat-closed-verb-lex & [ synsem np-np-acc-pp-verb-synsem ]. np-np-acc-pp-particle-verb-synsem := np-np-acc-pp-particle-verb-synsem-syn & np-np-acc-pp-verb-synsem-sem. np-np-acc-pp-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-np-acc-pp-particle-verb-synsem ]. super-np-np-dat-pp-verb-synsem-syn := log-subj-nerg-intr-or-lex-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. np-np-dat-pp-verb-synsem-syn := super-np-np-dat-pp-verb-synsem-syn & no-particle-verb-synsem. np-np-dat-pp-particle-verb-synsem-syn := super-np-np-dat-pp-verb-synsem-syn & particle-verb-synsem. np-np-dat-pp-verb-synsem := np-np-dat-pp-verb-synsem-syn & main-verb-synsem-sem. np-np-dat-pp-particle-verb-synsem := np-np-dat-pp-particle-verb-synsem-syn & main-verb-synsem-sem. np-np-dat-pp-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-np-dat-pp-particle-verb-synsem ]. np-np-dat-pp-verb-lex := subcat-closed-verb-lex & [ synsem np-np-dat-pp-verb-synsem ]. super-np-pp-scomp-verb-synsem-syn := log-subj-nerg-intr-or-lex-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. np-pp-scomp-verb-synsem-syn := super-np-pp-scomp-verb-synsem-syn & no-particle-verb-synsem. np-pp-scomp-particle-verb-synsem-syn := super-np-pp-scomp-verb-synsem-syn & particle-verb-synsem. np-pp-scomp-verb-synsem := np-pp-scomp-verb-synsem-syn & np-pp-scomp-verb-synsem-sem. np-pp-scomp-particle-verb-synsem := np-pp-scomp-particle-verb-synsem-syn & np-pp-scomp-verb-synsem-sem. np-pp-scomp-verb-lex := subcat-closed-verb-lex & [ synsem np-pp-scomp-verb-synsem ]. np-pp-scomp-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-pp-scomp-particle-verb-synsem ]. super-subject-control-coh-verb-synsem-syn := coherent-itr-verb-synsem-syn & [ loc [ cat [ head.aux -, subj < saturated-ref-comp-noun-synsem & [ loc.cont.hook.index #ind ] >, vcomp < coherent-complement-verb-synsem & [ loc.cat.head.subj < saturated-ref-comp-noun-synsem & [ loc.cont.hook.index #ind ] > ] > ], erg < > ] ]. subject-control-coh-verb-synsem-sem := verb-synsem-sem & [ LOC [ CAT.VCOMP < [ LOC.CONT.HOOK [INDEX [sf prop, e [tense no_tense, mood no_mood]], LTOP #hand] ] >, CONT [ RELS.LIST < [] , ... >, HCONS ] ] ]. subject-control-coherent-complement-bse-verb-synsem-syn := super-subject-control-coh-verb-synsem-syn & bse-vcomp-verb-synsem. subject-control-coherent-complement-bse-verb-synsem := subject-control-coherent-complement-bse-verb-synsem-syn & subject-control-coh-verb-synsem-sem. subject-control-bse-verb-lex := non-aux-verb-lex & [ synsem subject-control-coherent-complement-bse-verb-synsem ]. subject-control-inf-coh-verb-synsem-syn := super-subject-control-coh-verb-synsem-syn & aux-sein-verb-synsem & inf-vcomp-verb-synsem. subject-control-inf-coh-verb-synsem := subject-control-inf-coh-verb-synsem-syn & subject-control-coh-verb-synsem-sem. subject-control-inf-coh-verb-lex := non-aux-verb-lex & [ synsem subject-control-inf-coh-verb-synsem ]. inf-raising-verb-synsem-syn := raising-verb-synsem-syn & [ loc.cat.vcomp < [ loc.cat.head inf-verb-head ] > ]. inf-raising-exp-verb-synsem := super-raising-verb-synsem-syn & inf-raising-verb-synsem-sem & [loc [cont [key arg-2-rel & [arg2 #exp]], cat [vcomp < [ loc.cat.head inf-verb-head ] >, subcat ]]]. inf-raising-verb-synsem := inf-raising-verb-synsem-syn & inf-raising-verb-synsem-sem. inf-raising-verb-lex := non-aux-verb-lex & [ synsem inf-raising-verb-synsem ]. inf-raising-exp-verb-lex := non-aux-verb-lex & [ synsem inf-raising-exp-verb-synsem ]. super-incoherent-inf-raising-verb-synsem-syn := lexical-verb-synsem & [ loc.cat [ subj #subj & *empty-or-expl-synsem-list*, subcat ] ]. incoherent-inf-raising-verb-synsem-sem := verb-synsem-sem & [ LOC [CAT.SUBCAT.LIST <[LOC.CONT [hook.ltop #l ]]>, CONT modal-verb-sem-type & [key.ARG1 #h, HCONS ] ] ]. incoherent-inf-raising-verb-synsem-syn := super-incoherent-inf-raising-verb-synsem-syn & no-particle-verb-synsem. incoherent-inf-raising-particle-verb-synsem-syn := super-incoherent-inf-raising-verb-synsem-syn & particle_+vc-verb-synsem. incoherent-inf-raising-verb-synsem := incoherent-inf-raising-verb-synsem-syn & incoherent-inf-raising-verb-synsem-sem. incoherent-inf-raising-verb-lex := non-aux-verb-lex & [ synsem incoherent-inf-raising-verb-synsem ]. incoherent-inf-raising-particle-verb-synsem := incoherent-inf-raising-particle-verb-synsem-syn & incoherent-inf-raising-verb-synsem-sem. ; & ; particle_+vc-verb-synsem. incoherent-inf-raising-particle-verb-lex := non-aux-verb-lex & [synsem incoherent-inf-raising-particle-verb-synsem ]. aci-verb-synsem-syn := log-subj-verb-synsem & aux-haben-verb-synsem & [loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat , vcomp < coherent-complement-bse-verb-synsem & [loc [cat.head.subj < #subj > ]] > ] ]. impersonal-aci-verb-synsem-syn := log-subj-verb-synsem & aux-haben-verb-synsem & [loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat , vcomp < coherent-complement-bse-verb-synsem & [loc [cat.head.subj < [] > ]] > ] ]. aci-verb-synsem := aci-verb-synsem-syn & aci-verb-synsem-sem. impersonal-aci-verb-synsem := impersonal-aci-verb-synsem-syn & aci-verb-synsem-sem. aci-verb-lex := non-aux-verb-lex & [synsem aci-verb-synsem]. impersonal-aci-verb-lex := non-aux-verb-lex & [synsem impersonal-aci-verb-synsem]. ditrans-acc-refl-verb-synsem := log-subj-nerg-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem & [ loc.cont.HOOK.INDEX [png #png] ] >, subcat ] ]. super-np-refl-scomp-verb-synsem-syn := ditrans-acc-refl-verb-synsem & [ loc.cat.subcat ]. np-refl-scomp-verb-synsem-sem := main-verb-synsem-sem. np-refl-scomp-verb-synsem-syn := super-np-refl-scomp-verb-synsem-syn & no-particle-verb-synsem. np-refl-scomp-particle-verb-synsem-syn := super-np-refl-scomp-verb-synsem-syn & particle-verb-synsem. np-refl-scomp-verb-synsem := np-refl-scomp-verb-synsem-syn & np-refl-scomp-verb-synsem-sem. np-refl-scomp-verb-lex := subcat-closed-verb-lex & [ synsem np-refl-scomp-verb-synsem ]. np-refl-scomp-particle-verb-synsem := np-refl-scomp-particle-verb-synsem-syn & np-refl-scomp-verb-synsem-sem. np-refl-scomp-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-refl-scomp-particle-verb-synsem ]. super-np-refl-int-clause-verb-synsem-syn := ditrans-acc-refl-verb-synsem & [ loc.cat.subcat ]. np-refl-int-clause-verb-synsem-sem := main-verb-synsem-sem. np-refl-int-clause-verb-synsem-syn := super-np-refl-int-clause-verb-synsem-syn & no-particle-verb-synsem. np-refl-int-clause-particle-verb-synsem-syn := super-np-refl-int-clause-verb-synsem-syn & particle-verb-synsem. np-refl-int-clause-verb-synsem := np-refl-int-clause-verb-synsem-syn & np-refl-int-clause-verb-synsem-sem. np-refl-int-clause-verb-lex := subcat-closed-verb-lex & [ synsem np-refl-int-clause-verb-synsem ]. np-refl-int-clause-particle-verb-synsem := np-refl-int-clause-particle-verb-synsem-syn & np-refl-int-clause-verb-synsem-sem. np-refl-int-clause-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-refl-int-clause-particle-verb-synsem ]. super-np-scomp-refl-verb-synsem-syn := log-subj-nerg-ditrans-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem & [ loc.cont.HOOK.INDEX [png #png] ] >, subcat ] ]. np-scomp-refl-verb-synsem-sem := np-scomp-np-verb-synsem-sem. np-scomp-refl-verb-synsem-syn := super-np-scomp-refl-verb-synsem-syn & no-particle-verb-synsem. np-scomp-refl-particle-verb-synsem-syn := super-np-scomp-refl-verb-synsem-syn & particle-verb-synsem. np-scomp-refl-verb-synsem := np-scomp-refl-verb-synsem-syn & np-scomp-refl-verb-synsem-sem. np-scomp-refl-verb-lex := subcat-closed-verb-lex & [ synsem np-scomp-refl-verb-synsem ]. np-scomp-refl-particle-verb-synsem := np-scomp-refl-particle-verb-synsem-syn & np-scomp-refl-verb-synsem-sem. np-scomp-refl-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-scomp-refl-particle-verb-synsem ]. super-np-scomp-v2-refl-verb-synsem-syn := log-subj-nerg-ditrans-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem & [ loc.cont.HOOK.INDEX [png #png] ] >, subcat ] ]. np-scomp-v2-refl-verb-synsem-sem := np-np-scomp-v2-verb-synsem-sem. np-scomp-v2-refl-verb-synsem-syn := super-np-scomp-v2-refl-verb-synsem-syn & no-particle-verb-synsem. np-scomp-v2-refl-particle-verb-synsem-syn := super-np-scomp-v2-refl-verb-synsem-syn & particle-verb-synsem. np-scomp-v2-refl-verb-synsem := np-scomp-v2-refl-verb-synsem-syn & np-scomp-v2-refl-verb-synsem-sem. np-scomp-v2-refl-verb-lex := subcat-closed-verb-lex & [ synsem np-scomp-v2-refl-verb-synsem ]. np-scomp-v2-refl-particle-verb-synsem := np-scomp-v2-refl-particle-verb-synsem-syn & np-scomp-v2-refl-verb-synsem-sem. np-scomp-v2-refl-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-scomp-v2-refl-particle-verb-synsem ]. super-np-int-clause-verb-synsem-syn := log-subj-nerg-trans-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. np-int-clause-verb-synsem-syn := super-np-int-clause-verb-synsem-syn & no-particle-verb-synsem. np-int-clause-particle-verb-synsem-syn := super-np-int-clause-verb-synsem-syn & particle-verb-synsem. np-int-clause-verb-synsem := np-int-clause-verb-synsem-syn & trans-verb-scomp-synsem-sem. np-int-clause-verb-lex := subcat-closed-verb-lex & [ synsem np-int-clause-verb-synsem ]. np-int-clause-particle-verb-synsem := np-int-clause-particle-verb-synsem-syn & trans-verb-scomp-synsem-sem. np-int-clause-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-int-clause-particle-verb-synsem ]. super-np-int-clause-np-verb-synsem-syn := log-subj-nerg-ditrans-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. np-int-clause-np-verb-synsem-syn := super-np-int-clause-np-verb-synsem-syn & no-particle-verb-synsem. np-int-clause-np-particle-verb-synsem-syn := super-np-int-clause-np-verb-synsem-syn & particle-verb-synsem. np-int-clause-np-verb-synsem := np-int-clause-np-verb-synsem-syn & np-int-clause-np-verb-synsem-sem. np-int-clause-np-verb-lex := subcat-closed-verb-lex & [ synsem np-int-clause-np-verb-synsem ]. np-int-clause-np-particle-verb-synsem := np-int-clause-np-particle-verb-synsem-syn & np-int-clause-np-verb-synsem-sem. np-int-clause-np-particle-verb-lex := subcat-closed-verb-lex & [ synsem np-int-clause-np-particle-verb-synsem ]. subject-raising-adj-verb-synsem-syn := log-subj-erg-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat , vcomp < adj-prd-synsem & [ loc.cat [ _drop -, drop - ] ] > ] ]. subject-raising-adj-exp-verb-synsem-syn := log-subj-erg-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat , vcomp < adj-prd-synsem & [ loc.cat [ _drop -, drop - ] ] > ] ]. adj-particle-verb-synsem-syn := particle-or-more_+vc-verb-synsem & [ loc.cat [subj #subj, vcomp < [], adj-prd-synsem & [ loc.cat [head.subj #subj, _drop -, drop - ] ] > ]]. subject-raising-adj-particle-verb-synsem-syn := log-subj-erg-verb-synsem & aux-haben-verb-synsem & adj-particle-verb-synsem-syn & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. subject-raising-exp-adj-particle-verb-synsem-syn := log-subj-erg-verb-synsem & aux-haben-verb-synsem & adj-particle-verb-synsem-syn & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat ] ]. subject-raising-adj-verb-synsem := subject-raising-adj-verb-synsem-syn & adj-verb-synsem-sem. subject-raising-adj-exp-verb-synsem := subject-raising-adj-exp-verb-synsem-syn & adj-verb-synsem-sem. subject-raising-adj-verb-lex := non-aux-verb-lex & [ synsem subject-raising-adj-verb-synsem ]. subject-raising-adj-exp-verb-lex := non-aux-verb-lex & [synsem subject-raising-adj-exp-verb-synsem]. subject-raising-adj-particle-verb-synsem := subject-raising-adj-particle-verb-synsem-syn & adj-particle-verb-synsem-sem. subject-raising-adj-particle-verb-lex := non-aux-verb-lex & [ synsem subject-raising-adj-particle-verb-synsem ]. object-raising-adj-verb-synsem-syn := log-subj-nerg-trans-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem >, subcat , vcomp < adj-prd-synsem & [loc.cont.hook.index [e [tense no_tense, mood no_mood, perfective -]]] > ] ]. object-raising-adj-verb-synsem := object-raising-adj-verb-synsem-syn & raising-adj-verb-synsem-sem. object-raising-adj-verb-lex := non-aux-verb-lex & [ synsem object-raising-adj-verb-synsem ]. super-refl-adj-verb-synsem-syn := log-subj-erg-verb-synsem & aux-haben-verb-synsem & [ loc.cat [ subj < saturated-ref-comp-noun-synsem & [ loc.cont.HOOK.INDEX [png #png] ] >, subcat ] ]. refl-adj-verb-synsem-syn := super-refl-adj-verb-synsem-syn & [ loc.cat.vcomp < adj-prd-synsem > ]. refl-adj-particle-verb-synsem-syn := super-refl-adj-verb-synsem-syn & adj-particle-verb-synsem-syn. refl-adj-verb-synsem := refl-adj-verb-synsem-syn & adj-verb-synsem-sem. refl-adj-verb-lex := subcat-closed-verb-lex & [ synsem refl-adj-verb-synsem ]. refl-adj-particle-verb-synsem := refl-adj-particle-verb-synsem-syn & adj-particle-verb-synsem-sem. refl-adj-particle-verb-lex := subcat-closed-verb-lex & [ synsem refl-adj-particle-verb-synsem ]. np-expl-adj-verb-synsem-syn := log-subj-erg-verb-synsem & aux-sein-verb-synsem & [ loc.cat [ subj < expl-noun-synsem >, subcat , vcomp < adj-prd-synsem> ] ]. np-expl-adj-verb-synsem := np-expl-adj-verb-synsem-syn & np-expl-adj-verb-synsem-sem. np-expl-adj-verb-lex := subcat-closed-verb-lex & [ synsem np-expl-adj-verb-synsem ]. super-passive-verb-lex := arche-form & [morph , synsem [lkeys.mclass #mc, loc [cat [head.passive psv+, vcomp < passive-verb-synsem & [loc [cat.head [vform #vform, _vform ppp-sm & #vform]]]> ], cont [hook.index.--psv psv+ ] ]]]. acc-passive-verb-lex := super-passive-verb-lex & erg-aux-verb-lex & [synsem.loc [cat.vcomp <[loc.cat.head [aux -]] , ...>, cont.hook.index [e.stative -, --psv apsv]]]. erg-haben-aux-synsem := aux-verb-synsem & lexical-erg-verb-synsem & [loc.cat.auxf haben-auxf]. dat-passive-verb-lex := super-passive-verb-lex & nocomma-sign & [synsem aux-verb-synsem & [loc [cat [auxf haben-auxf, HEAD.VFORM #vform, vcomp <[loc [cat.head [vform #_vform, _vform ppp-sm & #_vform, aux -], cont.hook.index.--psv dpsv ]] , ...>], cont.hook.index [e.stative -, --psv dpsv]]], LR [LR_INFLECTED +], MORPH ]. state-passive-verb-lex := super-passive-verb-lex & erg-aux-verb-lex & [synsem.loc.cont.hook.index.e.stative +] . non-refl-state-passive-verb-lex := super-passive-verb-lex & erg-aux-verb-lex & [synsem.loc.cont.hook.index event & [e.stative +]]. ;[nk] Zum Grund, weshalb inf-count-noun zuerst auf "nackte" Inf-Phrasen beschränkt wird und später mittels count-noun-bare-inf-to-extended-inf-lrule ;erweitert werden kann, siehe ebendort. inf-count-noun-synsem-syn := trans-det-ref-comp-noun-synsem-syn & [ loc.cat.subcat ]. inf-count-noun-synsem := inf-count-noun-synsem-syn & diadic-noun-inf-synsem-sem. inf-count-noun-sign := sign & [ synsem inf-count-noun-synsem ]. inf-count-noun-lex := form-noun-flex & inf-count-noun-sign. int-clause-noun-synsem-syn := trans-det-ref-comp-noun-synsem-syn & [ loc.cat.subcat ]. int-clause-noun-synsem := int-clause-noun-synsem-syn & diadic-noun-clause-synsem-sem. int-clause-noun-sign := sign & [ synsem int-clause-noun-synsem ]. int-clause-noun-lex := form-noun-flex & int-clause-noun-sign. scomp-noun-synsem-syn := trans-det-ref-comp-noun-synsem-syn & [ loc.cat.subcat ]. scomp-noun-synsem := scomp-noun-synsem-syn & diadic-noun-clause-synsem-sem. scomp-noun-sign := sign & [ synsem scomp-noun-synsem ]. scomp-noun-lex := form-noun-flex & scomp-noun-sign. pp-noun-synsem-syn := trans-det-ref-comp-noun-synsem-syn & [ loc.cat.subcat ]. pp-noun-synsem := pp-noun-synsem-syn & diadic-noun-obj-synsem-sem. pp-noun-sign := sign & [ synsem pp-noun-synsem ]. pp-noun-lex := form-noun-flex & pp-noun-sign. ad-adj-head := modifier-head & [ mod [ loc.cat.head adj-or-adv-head, phrase - ], extra na_or_-, top - ]. pre-head-ad-adj-head := ad-adj-head & pre-head-modifier-head. post-head-ad-adj-head := ad-adj-head & post-head-modifier-head. pre-grad-adv-syn := complete-modifier-synsem & [ loc.cat.head pre-head-ad-adj-head ]. post-grad-adv-syn := complete-modifier-synsem & [ loc.cat.head post-head-ad-adj-head ]. pre-grad-adv-synsem := pre-grad-adv-syn & gradual-modifier-synsem-sem. pre-grad-adv-sign := sign & [ synsem pre-grad-adv-synsem ]. pre-grad-adv-lex := form & pre-grad-adv-sign & [ MORPH ]. post-grad-adv-synsem := post-grad-adv-syn & gradual-modifier-synsem-sem. post-grad-adv-sign := sign & [ synsem post-grad-adv-synsem ]. post-grad-adv-lex := form & post-grad-adv-sign & [ MORPH ]. adv-head := adj-or-adv-head. mod-adv-head := prd-adj-or-non-prd-adv-head & a-v-modifier-head & adv-head. pre-mod-adv-head := mod-adv-head & pre-head-modifier-head & [mod.loc.cat.head adj-or-adv-or-final-verb-head ]. post-mod-adv-head := mod-adv-head & post-head-modifier-head & [mod.loc.cat.head initial_+_fin-verb-head ]. verb-mod-adv-head := mod-adv-head & verb-modifier-head. pre-verb-mod-adv-head := verb-mod-adv-head & pre-mod-adv-head. post-verb-mod-adv-head := verb-mod-adv-head & post-mod-adv-head. grad-adv-head := mod-adv-head & [ top - ]. pre-grad-adv-head := grad-adv-head & pre-mod-adv-head & [mod.loc.cat.head initial_-_-head]. post-grad-adv-head := grad-adv-head & post-mod-adv-head & [mod.loc.cat.head initial_+_-head]. grad-verb-mod-adv-head := grad-adv-head & verb-mod-adv-head. pre-grad-verb-mod-adv-head := pre-verb-mod-adv-head & grad-verb-mod-adv-head & pre-grad-adv-head. post-grad-verb-mod-adv-head := post-verb-mod-adv-head & grad-verb-mod-adv-head & post-grad-adv-head. intersect-a-adv-v-grad-part-syn := saturated-modifier-synsem & [loc.cat.head grad-adv-head ]. ad-np-head := modifier-head & [ mod saturated-ref-noun-synsem, extra na_or_- ]. pre-np-ad-np-head := ad-np-head & pre-head-modifier-head. post-np-ad-np-head := ad-np-head & post-head-modifier-head. grad-np-syn := saturated-modifier-synsem & [ loc.cat.head ad-np-head ]. grad-np-syn-post-np := grad-np-syn & [ loc.cat.head post-np-ad-np-head ]. scopal-grad-np-synsem := grad-np-syn & scopal-adv-synsem-sem. scopal-grad-np-sign := sign & [ synsem scopal-grad-np-synsem ]. scopal-grad-np-lex := px-all-adj-form & scopal-grad-np-sign. scopal-grad-np-pre-np-lex := scopal-grad-np-lex & [ synsem.loc.cat.head pre-head-modifier-head ]. scopal-grad-np-post-np-lex := scopal-grad-np-lex & [ synsem.loc.cat.head post-head-modifier-head ]. dim-grad-np-synsem := grad-np-syn & gradual-np-modifier-synsem-sem. dim-grad-np-sign := nocomma-sign & [ synsem dim-grad-np-synsem ]. dim-grad-np-lex := px-all-adj-form & dim-grad-np-sign. dim-grad-np-pre-np-lex := dim-grad-np-lex & [synsem.loc.cat.head pre-head-modifier-head ]. dim-grad-np-post-np-lex := dim-grad-np-lex & [synsem.loc.cat.head post-head-modifier-head]. --tpc-nonloc-reent := sign & [synsem [loc.cont.hook.index.--tpc #--tpc, nonloc.--tpc #--tpc]]. super-sp-lex := nocomma-sign & form & [MORPH , synsem particle-sep-or-nonsep-synsem & [lkeys.keyrel #pred, loc [ cat [ subcat ], CONT mrs & [ hook [index #ev, ltop #l], key #key, rels , hcons ] ] ] ]. #| super-sp-lex := form & [ MORPH , synsem particle-sep-or-nonsep-synsem & [ loc [ cat [ subcat ], CONT mrs & [ hook [index event, ltop handle], rels , hcons ] ] ] ]. |# sp-lex := super-sp-lex & [synsem.loc.cat.head._vc sp-form_-]. sp-lex_+vc := super-sp-lex & [synsem.loc.cat.head [sp-form #form, _vc sp-form_+, __vc #form & sp-form_+]]. __vc-type := *avm* & [__vc sp-form]. complementizer-synsem := complementizer-synsem-syn & complementizer-synsem-sem. lex-complementizer-synsem-syn := complementizer-synsem-syn & [ loc.cat.subcat ]. super-non-mod-complementizer-synsem-syn := lex-complementizer-synsem-syn & [ loc.cat.head non-mod-head ]. non-mod-complementizer-synsem-syn := lex-complementizer-synsem-syn & [ loc.cat.head c-comp-complementizer-head ]. ;;; & [extra na_or_+] non-mod-complementizer-synsem := non-mod-complementizer-synsem-syn & complementizer-synsem-sem & [LOC.CONT.HOOK.INDEX.--SUB +]. non-mod-comp-lex := px-all-form & [synsem non-mod-complementizer-synsem & [loc [sgf #sgf & sgf-lee-, cat.subcat.list <[loc.sgf #sgf, nonloc contains-no-rel_min]>]] ]. complete-verb-synsem := complete-synsem & verb-synsem. complete-verb-sign := sign & [ synsem complete-verb-synsem ]. sentence-type := complete-verb-sign & [ synsem [ loc.cat.head initial_+_fin-verb-head & [ extra na_or_- ] ] ]. adj-non-prd-syn := adj-synsem & pre-head-modifier-synsem & noun-modifier-synsem & [ loc agr-local & [uniagr.png #png, cat.head mod-adj-head & [mod.loc.uniagr.png #png]] ]. adj-non-prd-synsem := adj-non-prd-syn. saturated-adj-non-prd-synsem := saturated-noun-modifier-synsem & adj-non-prd-synsem. complete-adj-non-prd-synsem := complete-noun-modifier-synsem & adj-non-prd-synsem. simple-adj-non-prd-synsem := simple-adj-synsem & adj-non-prd-synsem & [ LOC.CONT [ HCONS , KEY [ARG0 #i, ARG1 #id], hook [index #i & event & [--psv psv-, e [tense none, mood no_mood, perfective -]], ltop #hand], MODCONT.HOOK [ INDEX #id, ltop #hand ] ] ]. saturated-simple-adj-non-prd-synsem := simple-adj-synsem & saturated-adj-non-prd-synsem. complete-simple-adj-non-prd-synsem := simple-adj-non-prd-synsem & complete-adj-non-prd-synsem. simple-adj-non-prd-sign := nocomma-sign & [ SYNSEM complete-simple-adj-non-prd-synsem ]. adj-non-prd-sign := nocomma-sign & [synsem adj-non-prd-synsem]. saturated-adj-non-prd-sign := sign & [ synsem saturated-adj-non-prd-synsem ]. adj-prd-sign := nocomma-sign & [synsem adj-prd-synsem ]. adj-or-noun-with-adj-flex := sign & [ synsem.lkeys.mclass aclass, MORPH ]. adj-flex := adj-or-noun-with-adj-flex & [SIGNPUNCT no_sign_punct, MORPH , SYNSEM.LOC [CAT.HEAD.MOD.LOC [cat [ head.cas.morph-case #case, spr < *avm* & [ loc.cat.head.infl [NP-DECL #decl, UNIAGR #uniagr, DEF-AGR #defagr, NODEF-AGR #nodefagr ] ] > ], uniagr #uniagr], CONT.MODCONT.HOOK.INDEX [png #png ] ] ]. ; arche-form & adj-non-prd-lex := adj-flex & punct-form & simple-adj-non-prd-sign & [synsem.loc.cont [hcons , hook.ltop #t, key.lbl #t]]. simple-adj-non-prd-sign-unflex := form & simple-adj-non-prd-sign & [ MORPH ]. adj-prd-sign-unflex := form & adj-prd-sign. adj-prd-lex := stem-or-lex-sign & adj-prd-sign & [synsem.loc [cat.ucomps <>], MORPH ]. subj-adj-prd-lex := adj-prd-lex & [ SYNSEM.LOC [ CAT.HEAD.SUBJ < [ LOC [ cat._drop -]] > ]]. index-subj-adj-prd-lex := subj-adj-prd-lex & [SYNSEM.LOC [ CAT.HEAD.SUBJ < [ LOC [CONT [hook [INDEX #i]] ] ] >, CONT [hook.xarg #i, key.arg1 #i] ] ]. handle-subj-adj-prd-lex := subj-adj-prd-lex & [SYNSEM.LOC [ CAT.HEAD.SUBJ < [ LOC [CONT [hook [ltop #h]]]] >, CONT [hook.xarg #h, key.arg1 #h ]]]. no-subj-adj-prd-lex := adj-prd-lex & [ SYNSEM.LOC [ CAT [ HEAD.SUBJ < >, SUBCAT ], CONT [KEY [ARG1 #i]] ] ]. cardinal-number-head := mod-adj-head & region-type. cardinal-number-synsem-syn := complete-adj-non-prd-synsem & [loc case-agr-local & [uniagr #agr, anc [self , active , inert ] , cat.head cardinal-number-head & [mod ref-noun-synsem & [ loc [cat [spr <[loc.cat.head.def +]>, subcat ], uniagr #agr & c-n-g], nonloc.rel ] ]] ]. cardinal-number-synsem := cardinal-number-synsem-syn & cardinal-number-synsem-sem. cardinal-number-sign := nocomma-sign & [synsem cardinal-number-synsem]. cardinal-number-stem := stem & nocomma-sign & [synsem cardinal-number-synsem]. cardinal-number-sign-lex := form & cardinal-number-sign & [ MORPH ]. cardinal-number-stem-lex := arche-form & cardinal-number-stem & [ MORPH ]. q-cardinal-number-synsem := cardinal-number-synsem-syn & wh-adj-synsem-sem & wh-syn. q-cardinal-number-sign := sign & [ synsem q-cardinal-number-synsem ]. q-cardinal-number-sign-lex := word & q-cardinal-number-sign & [ MORPH ]. numeric-cardinal-sign-lex := cardinal-number-sign-lex & [ MORPH , SYNSEM.LOC [ CAT.HEAD.REGION #region, CONT.KEY.CARG #val] ]. numeric-cardinal-1-sign-lex := numeric-cardinal-sign-lex & [ SYNSEM.LOC.CONT [ hook [XARG [PNG p-s-g]], KEY.CARG "1" ] ]. numeric-cardinal-no1-sign-lex := numeric-cardinal-sign-lex & [ MORPH , SYNSEM.LOC.CONT.HOOK.XARG [PNG p-p-g] ]. ordinal-head := mod-adj-head. ordinal-number-synsem-syn := complete-adj-non-prd-synsem & [ loc case-agr-local & [ cat.head ordinal-head, CONT [ KEY.ARG1 #id, hook [ltop #hand], MODCONT.HOOK [ INDEX #id, ltop #hand ] ] ] ]. ordinal-number-synsem := ordinal-number-synsem-syn & ordinal-synsem-sem. ordinal-number-sign := nocomma-sign & [ synsem ordinal-number-synsem ]. ordinal-number-stem := stem & nocomma-sign & [ synsem ordinal-number-synsem, SIGNPUNCT no_sign_punct ]. ordinal-number-arche-form := arche-form & ordinal-number-stem. ordinal-number-form := form & ordinal-number-sign. ordinal-number-lex := adj-flex & ordinal-number-form. ordinal-number-unflex-lex := ordinal-number-form & [ MORPH , synsem.lex-complete - ]. simple-subj-adj-prd-lex := subj-adj-prd-lex & simple-adj-lex. simple-ref-subj-adj-prd-lex := index-subj-adj-prd-lex & simple-subj-adj-prd-lex & [synsem.loc.cat [ head [ subj < ref-comp-noun-synsem > ], subcat ]]. simple-adj-non-prd-lex := adj-non-prd-lex & simple-adj-lex. simple-no-subj-adj-prd-lex := no-subj-adj-prd-lex & simple-adj-lex. non-ref-adj-prd-lex := simple-subj-adj-prd-lex & [ synsem.loc.cat [ head.subj < expl-noun-synsem >, subcat ] ]. adj-no-subj-prd-lex := simple-no-subj-adj-prd-lex & [ synsem.loc.cat [ head.subj < >, subcat ] ]. adj-p-prd-lex := index-subj-adj-prd-lex & simple-subj-adj-prd-lex & [ synsem [ loc [ cat [ head.subj < saturated-ref-comp-noun-synsem >, subcat ], cont.KEY.ARG2 #ref2 ] ] ]. adj-np-prd-lex:= index-subj-adj-prd-lex & simple-subj-adj-prd-lex & [ synsem [ loc.cat [ head.subj < saturated-ref-comp-noun-synsem >, subcat ] ] ]. adj-refl-np-pp-prd-sign-lex := simple-subj-adj-prd-lex & index-subj-adj-prd-lex & [ synsem simple-adj-prd-synsem & [ loc [ cat [ head.subj < saturated-ref-comp-noun-synsem & [ loc.cont.hook.index [png #png] ] >, subcat ], CONT.KEY.ARG2 #pobj ] ] ]. adj-refl-np-prd-sign-lex := simple-subj-adj-prd-lex & index-subj-adj-prd-lex & [ synsem [ loc.cat [ head.subj < saturated-ref-comp-noun-synsem & [ loc.cont.hook.index [png #png] ] >, subcat ] ] ]. adj-pp-prd-sign-lex := index-subj-adj-prd-lex & simple-subj-adj-prd-lex & [ synsem [ loc [ cat [ head.subj < saturated-ref-comp-noun-synsem >, subcat ], CONT.KEY.ARG2 #pobj ] ] ]. adj-scomp-prd-sign-lex := simple-subj-adj-prd-lex & index-subj-adj-prd-lex & [ synsem [ loc.cat [ head.subj < saturated-ref-comp-noun-synsem >, subcat ] ] ]. adj-scomp-subj-prd-sign-lex := simple-subj-adj-prd-lex & handle-subj-adj-prd-lex & [ synsem.loc.cat [ head.subj < comp-synsem >, subcat ] ]. adj-inf-subj-prd-sign-lex := simple-subj-adj-prd-lex & handle-subj-adj-prd-lex & [ synsem.loc.cat [ head.subj < saturated-comp-inf-verb-synsem >, subcat ] ]. adj-scomp-v2-prd-synsem1 := adj-prd-synsem & adj-scomp-v2-synsem-sem. adj-scomp-v2-prd-sign-lex := index-subj-adj-prd-lex & adj-lex & [ synsem [ loc.cat [ head.subj < saturated-ref-comp-noun-synsem >, subcat ] ] ]. adj-refl-gen-synsem-syn := adj-prd-synsem & [ LOC [ CAT [ HEAD [ SUBJ < saturated-ref-comp-noun-synsem & [LOC.CONT.HOOK.INDEX [ PNG #png] ] > ], subcat ] ] ]. adj-refl-gen-synsem-sem := synsem & [ loc [ cat [ head.subj < [ loc.cont.hook.index #ref1 ] >, subcat ], cont.KEY [ arg1 #ref1, ARG2 #ref2 ] ] ]. adj-refl-gen-synsem := adj-refl-gen-synsem-syn & adj-refl-gen-synsem-sem. adj-refl-gen-sign := sign & [ synsem adj-refl-gen-synsem ]. adj-refl-gen-sign-lex := index-subj-adj-prd-lex & adj-refl-gen-sign. noun-with-adj-flex := adj-or-noun-with-adj-flex & [ MORPH , SYNSEM.LOC [ CAT.spr < *avm* & [ loc.cat.head.infl [ NP-DECL #decl, UNIAGR #uniagr, DEF-AGR #defagr, NODEF-AGR #nodefagr ] ] >, CONT.HOOK.INDEX [png #png ] ] ]. adj-count-noun-lex := word & noun-with-adj-flex & non-mass-unit-count-noun-lex-sign. basic-coord-head := non-mod-head & initial_+_noncomp-head & spec-head & root-head & [ coordform coordform ]. coord-head := basic-coord-head. usw-coord-head := basic-coord-head & possib-sent-final-head. coord-conjunction-synsem-syn := synsem & [ loc [ cat [ head coord-head & [ spec [ loc [cat #cat, adjunction #adj], nonloc #nonloc, que #que, ellipse -, cat-change - ] ], subcat , vcomp <> ], cont [ MODCONT.HOOK [ INDEX #mind ] ] ] ]. coord-synsem := coord-conjunction-synsem-syn & coord-conjunction-synsem-sem & [loc [cat.subcat , cont.modcont.hook.index #i ]]. coord-lex := px-all-form & [ synsem coord-synsem ]. fin-coord-lex := px-all-form & [ synsem coord-conjunction-synsem-syn & [loc [cat.subcat , cont [hook [index #i, ltop #l], rels , hcons ]] ]]. nom-coord-lex := coord-lex & [synsem.loc [cat [head.spec.loc.cont.hook [index #lind & [mass-unit #mu]], subcat ], cont [rels , hcons ]]]. ev-coord-lex := coord-lex & [synsem.loc [cat [head.spec.loc.cont.hook [ltop #lh, index #lev ], subcat ], cont [hook [ltop #ltop, index #ev & event], rels , hcons ]]]. sgf-coord-lex := ev-coord-lex & [synsem.loc [adjunction unmodified-unmodifiable, sgf sgf-lor- & [lee #lee], cat.subcat.list <[loc [sgf.lee #lee]]>]]. non-sgf-coord-lex := ev-coord-lex & [synsem.loc [sgf sgf-lor-lee- ]]. unheaded-rule := grammar-rule. collect-2-liszt := grammar-or-mw-rule & [synsem.loc.CONT [ RELS [ list #liszt1, last #last2 ], HCONS [ list #sc1, last #scl2] ], ARGS ]. constr-type := *avm* & [ c-cont *avm* ]. collect-constr-1-liszt := grammar-rule & constr-type & [ SYNSEM.LOC.CONT [ RELS [ list #liszt2, last #last1 ], HCONS [ list #sc1, last #scl2] ], C-CONT [ RELS [ list #last2, last #last1 ], HCONS [ list #sc1, last #sclist] ], ARGS < sign & [ synsem.loc.CONT [ RELS [ list #liszt2, last #last2 ], HCONS [ list #sclist, last #scl2 ] ] ] > ]. collect-constr-2-liszt := grammar-or-mw-rule & constr-type & [ SYNSEM.LOC.CONT [ RELS [ list #liszt1, last #llast2 ], HCONS [ list #sc, last #sclast2] ], C-CONT [ RELS [ list #liszt, last #llast2 ], HCONS [ list #sc, last #sclist1 ] ], ARGS < [synsem.loc.CONT [ RELS [ list #liszt1, last #liszt2 ], HCONS [ list #sclist1, last #sclist2 ] ] ], [ synsem.loc.CONT [ RELS [ list #liszt2, last #liszt ], HCONS [ list #sclist2, last #sclast2 ] ] ] > ]. collect-constr-3-liszt := grammar-or-mw-rule & constr-type & [ SYNSEM.LOC.CONT [ RELS [ list #liszt1, last #llast2 ], HCONS [ list #sc, last #sclast3] ], C-CONT [ RELS [ list #liszt, last #llast2 ], HCONS [ list #sc, last #sclist1 ] ], ARGS < [synsem.loc.CONT [ RELS [ list #liszt1, last #liszt2 ], HCONS [ list #sclist1, last #sclist2 ] ] ], [ synsem.loc.CONT [ RELS [ list #liszt2, last #liszt3 ], HCONS [ list #sclist2, last #sclist3 ] ] ], [ synsem.loc.CONT [ RELS [ list #liszt3, last #liszt ], HCONS [ list #sclist3, last #sclast3 ] ] ] > ]. adv-synsem := synsem & [ loc.cat [ head adv-head, spr <>, subcat , vcomp <> ], nonloc contains-no-slash & [slash ] ]. prd-adv-head := prd-head & adv-head. prd-adv-synsem := predicative-synsem & adv-synsem. pron-adv-synsem := pronominal-synsem & adv-synsem. adv-sign-syn := sign & [ synsem adv-synsem ]. prd-adv-sign := sign & [ synsem prd-adv-synsem ]. mod-adv-synsem := a-v-modifier-synsem & adv-synsem & [loc.cont.hook.index event ]. saturated-mod-adv-synsem := mod-adv-synsem & saturated-a-v-modifier-synsem. complete-mod-adv-synsem := saturated-mod-adv-synsem & complete-a-v-modifier-synsem. mod-adv-sign := comparable-sign & nocomma-sign & [synsem mod-adv-synsem]. super-intersect-a-adv-v-grad-part-synsem := intersect-a-adv-v-grad-part-syn & gradual-modifier-synsem-sem. intersect-a-adv-v-grad-part-synsem := super-intersect-a-adv-v-grad-part-synsem. intersect-a-adv-v-grad-part-sign := nocomma-sign & [ synsem intersect-a-adv-v-grad-part-synsem ]. intersect-a-adv-v-grad-part-lex := form & intersect-a-adv-v-grad-part-sign & [ MORPH ]. intersect-v-grad-part-synsem := saturated-verb-modifier-synsem & intersect-a-adv-v-grad-part-synsem. intersect-grad-part-lex := form & mod-adv-sign & [ MORPH , SYNSEM.LOC [ CONT gradual-modifier-sem-type & [ MODCONT.KEY reg_event_rel ] ] ]. rel-pron-adv-synsem-syn := saturated-mod-adv-synsem & [loc.cont.key.arg2 #ind, nonloc contains-rel & [ rel.LIST.FIRST #ind ], que ]. rel-pron-adv-synsem := rel-pron-adv-synsem-syn & rel-pron-adv-synsem-sem. rel-pron-adv-sign := sign & [ synsem rel-pron-adv-synsem ]. rel-pron-adv-lex := px-all-word & rel-pron-adv-sign. intersect-adv-synsem := mod-adv-synsem & i-sect-adv-synsem-sem & [loc.cat.head.mod.loc.cat.head adj-or-participle-or-verb-head]. saturated-intersect-adv-synsem := saturated-mod-adv-synsem & i-sect-adv-synsem-sem. complete-intersect-adv-synsem := saturated-intersect-adv-synsem & complete-verb-modifier-synsem. pron-mod-adv-synsem-syn := pronominal-synsem & saturated-mod-adv-synsem. pron-mod-adv-synsem := pron-mod-adv-synsem-syn & pron-mod-adv-synsem-sem. iterative-adv-synsem := mod-adv-synsem & iterative-adv-synsem-sem. saturated-iterative-adv-synsem := saturated-mod-adv-synsem & iterative-adv-synsem-sem. complete-mod-grad-synsem := complete-mod-adv-synsem & gradual-modifier-synsem-sem. iterative-adv-sign := nocomma-sign & [ SYNSEM saturated-iterative-adv-synsem ]. intersect-adv-sign := nocomma-sign & [ synsem intersect-adv-synsem & [loc.cont [key #k, rels ]] ]. no_punct_stem-or-lex-sign := stem-or-lex-sign & [SIGNPUNCT no_sign_punct]. intersect-adv-lex := intersect-adv-sign & no_punct_stem-or-lex-sign & mod-adv-sign & [SYNSEM.QUE , MORPH ]. iterative-adv-lex := form & iterative-adv-sign & [ MORPH ]. grad-intersect-adv-lex := form & mod-adv-sign & [ MORPH , SYNSEM.LOC [ CONT grad-i-sect-adv-sem-type & [ hook [INDEX #ind1, ltop #hand], MODCONT.HOOK [ INDEX #ind1, ltop #hand ] ] ] ]. pron-mod-adv-sign := sign & [ synsem pron-mod-adv-synsem ]. ;;; Trying to restrict pied-piping of "wie" with prdicative adjectives wh-adv-synsem := complete-mod-adv-synsem & wh-adv-synsem-sem & wh-syn & [loc.cat.head.mod verb-synsem]. wh-adv-sign := sign & [ synsem wh-adv-synsem ]. adv-morph := word & [synsem [loc.anc [self , active , inert ], lkeys.mclass #mc], MORPH ]. wh-adv-lex := adv-morph & wh-adv-sign. wh-adj2-synsem := adj-prd-synsem & complete-complement-synsem & wh-adj-synsem-sem & wh-syn. wh-adj2-sign := sign & [ SYNSEM wh-adj2-synsem ]. wh-adj2-lex := word & wh-adj2-sign & [ MORPH , synsem.loc [ cat [ head [ subj < saturated-ref-comp-noun-synsem & [ loc.cont.hook.index #i ] > ], subcat ], CONT [ KEY.ARG1 #i ] ] ]. wh-grad-adv-synsem := pre-grad-adv-syn & wh-grad-adj-synsem-sem & wh-syn. wh-grad-adv-sign := sign & [ synsem wh-grad-adv-synsem ]. wh-grad-adv-lex := adv-morph & wh-grad-adv-sign. pron-mod-adv-lex := form & pron-mod-adv-sign & [synsem.loc.cont [key #k, rels ], MORPH ]. scopal-adv-synsem := mod-adv-synsem & scopal-adv-synsem-sem. complete-scopal-adv-synsem := complete-mod-adv-synsem & scopal-adv-synsem. scopal-adv-sign := lexical-sign & nocomma-sign & [ synsem complete-scopal-adv-synsem ]. scopal-adv-lex := adv-morph & form & scopal-adv-sign. scopal-quant-adv-synsem := mod-adv-synsem & scopal-quant-adv-synsem-sem. complete-scopal-quant-adv-synsem := complete-mod-adv-synsem & scopal-quant-adv-synsem. scopal-quant-adv-lex-sign := lexical-sign & nocomma-sign & [ synsem complete-scopal-quant-adv-synsem ]. scopal-quant-adv-lex := adv-morph & form & scopal-quant-adv-lex-sign. infl-scopal-quant-adv-lex-sign := scopal-quant-adv-lex-sign & infl_lrule. partikel-synsem := intersect-adv-synsem & [ loc.cat.head.mod.loc.cat.head fin-verb-head ]. partikel-sign := sign & [ synsem partikel-synsem ]. partikel-lex := px-all-form & partikel-sign. mod-prep-lex := px-p-prfx-form & full-mod-prep-or-postp-sign. noun-mod-prep-or-postp-lex := px-p-prfx-arche-form & full-noun-mod-prep-or-postp-sign. noun-mod-prep-lex := noun-mod-prep-or-postp-lex & prep-sign. noun-mod-postp-lex := noun-mod-prep-or-postp-lex & postp-sign. mod-wechsel-prep-lex := mod-prep-lex & [ synsem.loc [ cat.subcat , cont.key [psort #cas, arg0.psort #cas] ]]. noun-mod-wechsel-prep-lex := noun-mod-prep-lex & [ synsem.loc [ cat.subcat , cont.key [psort #cas, arg0.psort #cas ] ]]. mod-def-prep-lex := px-p-prfx-form & def-mod-prep-or-postp-sign. noun-mod-def-prep-lex := px-p-prfx-arche-form & def-noun-mod-prep-or-postp-sign. noun-mod-indef-prep-lex := px-p-prfx-arche-form & indef-noun-mod-prep-or-postp-sign. pron-mod-pp-synsem-syn := pronominal-synsem & mod-pp-synsem. pron-mod-pp-synsem := pron-mod-pp-synsem-syn & pron-mod-pp-synsem-sem. complete-pron-noun-mod-pp-synsem := pron-noun-mod-pp-synsem & complete-noun-modifier-synsem. pron-noun-mod-pp-synsem-syn := pronominal-synsem & noun-mod-pp-synsem. pron-noun-mod-pp-synsem := pron-noun-mod-pp-synsem-syn & pron-mod-pp-synsem-sem. pron-noun-mod-pp-sign := nocomma-sign & [ synsem pron-noun-mod-pp-synsem ]. pron-noun-mod-pp-lex := arche-form & pron-noun-mod-pp-sign & [ MORPH ]. pron-prd-pp-synsem := pronominal-synsem & prd-pp-synsem & pron-prd-pp-synsem-sem. complete-pron-prd-pp-synsem := complete-synsem & pron-prd-pp-synsem. pron-prd-pp-sign := nocomma-sign & [ synsem pron-prd-pp-synsem ]. pron-prd-pp-lex := form & pron-prd-pp-sign & [ MORPH ]. prd-adv-pp-lex := prd-pp-sign & form & [ MORPH , SYNSEM.LOC [ CAT.HEAD.SUBJ < [ LOC.CONT.hook [ INDEX #ind ] ] >, CONT i-sect-adv-sem-type & [ KEY [ ARG1 #ind ] ] ] ]. pp-prep-or-postp-synsem := modifying-prep-or-postp-synsem & [ loc [ cat [ head.mod #mod, subcat ] ] !> ] ] ]. verb-mod-pp-prep-or-postp-synsem-syn := pp-prep-or-postp-synsem & [ loc [ cat [ subcat ] ] !> ] ] ]. verb-mod-pp-prep-synsem-syn := prep-synsem & verb-mod-pp-prep-or-postp-synsem-syn. verb-mod-pp-postp-synsem-syn := postp-synsem & verb-mod-pp-prep-or-postp-synsem-syn. verb-mod-pp-prep-synsem := verb-mod-pp-prep-synsem-syn & preposition-mod-pp-synsem-sem & verb-modifier-synsem. verb-mod-pp-postp-synsem := verb-mod-pp-postp-synsem-syn & preposition-mod-pp-synsem-sem & verb-modifier-synsem. verb-mod-pp-prep-sign := sign & [ SYNSEM verb-mod-pp-prep-synsem ]. verb-mod-pp-prep-lex := px-p-prfx-form & verb-mod-pp-prep-sign. verb-mod-pp-postp-sign := sign & [ SYNSEM verb-mod-pp-postp-synsem ]. verb-mod-pp-postp-lex := px-p-prfx-form & verb-mod-pp-postp-sign. noun-mod-pp-prep-or-postp-synsem-syn := pp-prep-or-postp-synsem & [ loc [ cat [ subcat ] ] !> ] ] ]. noun-mod-pp-prep-synsem-syn := prep-synsem & noun-mod-pp-prep-or-postp-synsem-syn. noun-mod-pp-prep-synsem := noun-mod-pp-prep-synsem-syn & preposition-mod-pp-synsem-sem & noun-modifier-synsem. noun-mod-pp-prep-sign := sign & [ SYNSEM noun-mod-pp-prep-synsem ]. noun-mod-pp-prep-lex := px-p-prfx-form & noun-mod-pp-prep-sign. pron-verb-mod-pp-synsem := complete-verb-modifier-synsem & pron-mod-pp-synsem. i-sect-verb-modifier-synsem := verb-modifier-synsem & i-sect-adv-synsem-sem. recip-adv-synsem := pron-mod-pp-synsem-syn & recip-mod-prep-synsem. complete-recip-adv-synsem := recip-adv-synsem & complete-verb-modifier-synsem. recip-adv-sign := sign & [synsem recip-adv-synsem ]. recip-adv-lex := form & recip-adv-sign & [ MORPH ]. inf-comp-synsem := verb-modifier-synsem & subordination-and-synsem-sem & [ loc.cat [ head mod-complementizer-head & [ mod fin-verb-synsem & [ loc.cat.head.LOG-SUBJ #i ] ], subcat , vcomp <> ] ]. inf-comp := sign & [synsem inf-comp-synsem ]. inf-comp-lex := px-p-prfx-form & inf-comp & [synsem.loc.cat.subcat ]. poss-pronoun-syn := det-synsem & [loc.cat.head.spec ref-noun-synsem]. poss-pronoun-synsem := poss-pronoun-syn & poss-pronoun-synsem-sem. poss-pronoun-sign := nocomma-sign & [synsem poss-pronoun-synsem]. poss-pron-lex := form & det-flex & poss-pronoun-sign. poss-pron-unflex-lex := form & det-unflex & poss-pronoun-sign. q-pron-noun-sem := wh-pron-sem & non-mass-unit-synsem. q-pron-noun-syn := complete-ref-comp-noun-synsem & wh-syn & [ loc.cont.hook.index [png 3-n-g] ]. q-pron-noun-synsem := q-pron-noun-syn & q-pron-noun-sem. q-pron-noun-sign := sign & [ synsem q-pron-noun-synsem ]. q-pron-noun-lex := word & q-pron-noun-sign. q-pron-noun-sg-syn := q-pron-noun-syn & [ loc.cont.hook.index [png p-s-g] ]. q-pron-noun-sg-synsem := q-pron-noun-sg-syn & q-pron-noun-sem. q-pron-noun-sg-sign := nocomma-sign & [ synsem q-pron-noun-sg-synsem ]. q-pron-noun-sg-lex := word & q-pron-noun-sg-sign & [synsem.nonloc undef-nonlocs_min]. q-pron-noun-dflex-lex := det-np-flex & q-pron-noun-lex. q-pron-pp-synsem-sem := synsem & [ LOC.CONT wh-pron-comp-pp-sem-type ]. q-pron-pp-synsem := complete-pron-comp-pp-synsem & q-pron-pp-synsem-sem. q-pron-pp-sign := sign & [ synsem q-pron-pp-synsem ]. q-pron-pp-lex := que-form & q-pron-pp-sign. relpron-pron-pp-synsem := comp-prep-or-postp-synsem & [LOC [CAT [SUBJ <>, SPR <>, UCOMPS <>, VCOMP <>, SUBCAT ], CONT [--KEY #pred, HOOK [INDEX #ev, LTOP #l], KEY #key & [PRED #pred, LBL #l, ARG0 #ev & pevent & [E no_tam], ARG2 #rel], RELS , HCONS ], ANC [SELF , ACTIVE , INERT ] ], NONLOC contains-no-slash & [REL ], QUE ]. relpron-pron-pp-sign := sign & [ synsem relpron-pron-pp-synsem ]. relpron-pron-pp-lex := word & relpron-pron-pp-sign. rp-full-pron-comp-pp-lex := d-pron-comp-pp-sign & arche-form & [ MORPH ]. rp-head := non-mod-head & no-eps-head & [ extra na_or_- ]. rp-in-slash-sign := sign & [ synsem.nonloc contains-slash & [ slash , _slash ] ]. rp-pron-comp-pp-lex := d-pron-comp-pp-sign & rp-in-slash-sign & word & [ MORPH ]. rp-pron-mod-pp-lex := pron-noun-mod-pp-sign & rp-in-slash-sign & word & [ MORPH ]. interjection-q-tag-head := non-verbal-head & non-mod-non-coord-head & possib-sent-final-head. turn-seq-head := interjection-q-tag-head. interjection-q-tag-synsem-syn := complete-synsem & [ loc.cat.head interjection-q-tag-head ]. interjection-q-tag-synsem := interjection-q-tag-synsem-syn & interjection-synsem-sem. interjection-q-tag-sign := sign & [ synsem interjection-q-tag-synsem ]. interjection-q-tag-lex := form & interjection-q-tag-sign. int-head := non-verbal-root-head & interjection-q-tag-head. interjection-synsem-syn := interjection-q-tag-synsem-syn & [ loc.cat.head int-head ]. interjection-synsem := interjection-synsem-syn & interjection-synsem-sem. interjection-sign := nocomma-sign & [ synsem interjection-synsem ]. interjection-lex := form & interjection-sign. q-tag-head := non-verbal-root-head & interjection-q-tag-head. q-tag-synsem-syn := interjection-q-tag-synsem-syn & [ loc.cat.head q-tag-head ]. q-tag-synsem := q-tag-synsem-syn & interjection-synsem-sem. q-tag-sign := sign & [ synsem q-tag-synsem ]. q-tag-lex := form & q-tag-sign. interjection-q-tag-synsem-q-tag-synsem-syn := interjection-q-tag-synsem & q-tag-synsem-syn. interjection-q-tag-synsem-interjection-synsem-syn := interjection-q-tag-synsem & interjection-synsem-syn. mw-interjection-synsem := interjection-synsem-syn & mw-interjection-synsem-sem. mw-interjection-sign := sign & [ synsem mw-interjection-synsem ]. mw-q-tag-synsem := q-tag-synsem-syn & mw-interjection-synsem-sem. mw-q-tag-sign := sign & [ synsem mw-q-tag-synsem ]. rel-or-int-or-comp-clause-head := head. int-or-comp-clause-head := rel-or-int-or-comp-clause-head. rel-or-int-clause-head := rel-or-int-or-comp-clause-head. rel-clause-head := rel-or-int-clause-head & post-head-nbar-modifier-head & [rp-head head]. int-clause-head := rel-or-int-clause-head & int-or-comp-clause-head & vcomp-no-sp-no-v-head & extrapos_head & non-verbal-root-head. int-complementizer-head := int-clause-head & c-comp-complementizer-head & [cform ob-cf]. int-clause-synsem := saturated-complement-synsem & [ loc.cat.head int-clause-head ]. complete-int-clause-synsem := complete-complement-synsem & int-clause-synsem. letter-head := non-mod-head & no-eps-head & cas-type. letter-synsem-syn := complete-synsem & [ loc case-png-agr-local & [cat.head letter-head] ]. letter-synsem := letter-synsem-syn & letter-synsem-sem & non-mass-unit-synsem. letter-sign := sign & [ synsem letter-synsem ]. letter-lex := form & letter-sign & [ SYNSEM.LOC.CONT.KEY.CARG string ]. letter-phrase := grammar-rule & [ synsem letter-synsem-syn & [ LOC.CONT.KEY spell_rel ] ]. letter-noun-lex := letter-lex & [ MORPH , SYNSEM [ LOC [ CAT.HEAD.CAS.MORPH-CASE #cas, CONT.HOOK.INDEX [PNG #png], UNIAGR #uniagr], LEX + ] ]. letter-card-lex := letter-lex & [ MORPH , SYSEM.LOC.CONT.KEY.CARG #val ]. subordination-synsem-syn := verb-modifier-synsem & [ loc [anc anc-inactive , cat [ head mod-complementizer-head & [ mod fin-verb-synsem ], subcat , vcomp <> ]] ]. subordination-vlast-synsem-syn := subordination-synsem-syn & [ loc.cat.subcat ]. subordination-v2-synsem-syn := subordination-synsem-syn & [ loc.cat.subcat ]. subordination-sign := comma-sign. subordination-vlast-and-synsem := subordination-vlast-synsem-syn & subordination-and-synsem-sem. subordination-vlast-and-sign := subordination-sign & [ synsem subordination-vlast-and-synsem & [loc [adjunction unmodifiable, sgf #sgf & sgf-lee-, cat.subcat.list <[loc.sgf #sgf]>]] ]. subordination-vlast-and-sign-lex := form & subordination-vlast-and-sign & [ MORPH ]. subordination-v2-and-synsem := subordination-v2-synsem-syn & subordination-and-synsem-sem. subordination-v2-and-sign := subordination-sign & [ synsem subordination-v2-and-synsem ]. subordination-v2-and-sign-lex := form & subordination-v2-and-sign & [ MORPH ]. subordination-vlast-sub-sign-lex := subordination-vlast-and-sign-lex. subordination-v2-sub-sign-lex := subordination-v2-and-sign-lex. sat-sign-type := sign & [ synsem.loc.cat [ subcat , vcomp <> ] ]. #| morph-concat-binary-sign := grammar-rule & [ MORPH [ LIST #m1, LAST #m3 ], ARGS < [ MORPH [ LIST #m1, LAST #m2 ] ], [ MORPH [ LIST #m2, LAST #m3 ] ] > ]. morph-concat-ternary-sign := grammar-rule & [ MORPH *diff-list* & [ LIST #first, LAST #tail ], ARGS < sign & [ MORPH *diff-list* & [ LIST #first, LAST #second ] ], g sign & [ MORPH *diff-list* & [ LIST #second, LAST #third ] ], sign & [ MORPH *diff-list* & [ LIST #third, LAST #tail ] ] > ]. |# binary-grammar-or-mw-rule := basic-binary-punct-rule. unary-grammar-or-mw-rule := grammar-or-mw-rule & [ ARGS < sign > ]. binary-sign := grammar-rule & binary-grammar-or-mw-rule. ternary-grammar-or-mw-rule := grammar-or-mw-rule & [ ARGS < sign, sign, sign > ]. ternary-sign := grammar-rule & ternary-grammar-or-mw-rule. da-rpronoun-synsem := complete-synsem & [ loc [ cat.head rp-head, cont [ RELS , HCONS ] ] ]. da-rpronoun-sign := form & [ MORPH ] !>, synsem da-rpronoun-synsem ]. es-expl-sign := form & nocomma-sign & [ MORPH ] !>, synsem expl-noun-synsem ]. garbage-lex := form. zu-dummy := *dummy* & nocomma-sign & [ SYNSEM.LOC.CAT.HEAD zu-dummy-head ]. am-dummy := *dummy* & nocomma-sign & [ SYNSEM.LOC.CAT.HEAD am-dummy-head ]. es-dummy := *dummy* & nocomma-sign & [ SYNSEM.LOC.CAT.HEAD es-dummy-head ]. so-dummy := *dummy* & [ SYNSEM.LOC.CAT.HEAD so-dummy-head ]. dummy-head := head. zu-dummy-head := dummy-head & sp-prd-adj-or-non-fin-verb-head. am-dummy-head := dummy-head. es-dummy-head := dummy-head. so-dummy-head := dummy-head. *dummy* := arche-form & [synsem [loc.cat.head dummy-head, lkeys.mclass #m], morph ]. dummy := *dummy*. dummy-form := form & [ synsem.loc.cat.head dummy-head ]. leftquote-head := dummy-head. rightquote-head := dummy-head. basic-left-or-right-dquote-le := punct-dummy & [SYNSEM.LKEYS.MCLASS pclass & #m, MORPH ]. basic-left-dquote-le := basic-left-or-right-dquote-le. left-or-right-dquote-le := basic-left-dquote-le & [SYNSEM.LOC.CAT.HEAD rightquote-head, SIGNPUNCT.RPUNCT.MSGPRED prop ]. leftquote-le := basic-left-dquote-le & [SYNSEM.LOC.CAT.HEAD leftquote-head ]. rightquote-le := left-or-right-dquote-le. dash-head := dummy-head. dash-le := punct-dummy & [SYNSEM [ LOC.CAT.HEAD dash-head, LKEYS.MCLASS pclass ], SIGNPUNCT [ LPUNCT dash_punct_min, RPUNCT dash_punct_min, PAIRED no_ppair_min, PUNCTPAIR ppair_min, PAREN dash_punct_min ]]. ;colondummy := dummy-form & [SYNSEM.LKEYS.MCLASS pclass ]. punct-dummy := punct-arche-form & [ synsem [ loc.cat.head dummy-head, lkeys.mclass #m], morph ]. label-sign := root-or-non-root-sign & [label-name string ]. label-rule := *rule* & label-sign. meta := sign & [ META-PREFIX string, META-SUFFIX string ]. nocomma-sign := sign & [ SIGNPUNCT [ --LEFT_SISTER_PAIRED *lex-ppair-list* ] ]. ;comma-sign := sign &; ; [ SYNSEM.PUNCT.--LEFT_SISTER_RPUNCT comma_or_semicol_or_paren_or_dash_or_no_punct_min ]. comma-sign := sign & [ SYNSEM.PUNCT.--LEFT_SISTER_RPUNCT comma_punct ]. dotted_sign := lexical-sign.