;;; -*- 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 *native-trait-list* := *list*. *native-trait-cons* := *cons* & *native-trait-list* & [FIRST.+TRAIT native_trait, REST *native-trait-list* ]. *ref-ind-or-event-list* := *list*. *ref-ind-or-event-cons* := *ref-ind-or-event-list* & *cons* & [first ref-ind-or-event, rest *null*]. *anc-list* := *list* . *anc-cons* := *anc-list* & *cons* & [FIRST anchor, REST *anc-list*]. *anc-5-list* := *anc-list*. *anc-5-cons* := *anc-5-list* & *anc-cons* & [REST *anc-4-list*]. *anc-4-list* := *anc-5-list*. *anc-4-cons* := *anc-4-list* & *anc-5-cons* & [REST *anc-3-list*]. *anc-3-list* := *anc-4-list*. *anc-3-cons* := *anc-3-list* & *anc-4-cons* & [REST *anc-2-list*]. *anc-2-list* := *anc-3-list*. *anc-2-cons* := *anc-2-list* & *anc-3-cons* & [REST *anc-1-list*]. *anc-1-list* := *anc-2-list*. *anc-1-cons* := *anc-1-list* & *anc-2-cons* & [REST *null*]. #| *anc-unbound-cons* := *anc-cons* & *anc-unbound-list* & [FIRST [--i [--reli #i, --relh #h], _i [--reli #i, --relh #h]], REST *anc-unbound-list*]. *anc-unbound-1-list* := *anc-1-list* & *anc-unbound-list*. *anc-unbound-1-cons* := *anc-unbound-1-list* & *anc-1-cons* & *anc-unbound-cons*. *anc-unbound-2-list* := *anc-2-list* & *anc-unbound-list*. *anc-unbound-2-cons* := *anc-unbound-2-list* & *anc-2-cons* & *anc-unbound-cons*. *anc-unbound-3-list* := *anc-3-list* & *anc-unbound-list*. *anc-unbound-3-cons* := *anc-unbound-1-list* & *anc-3-cons* & *anc-unbound-cons*. *anc-unbound-4-list* := *anc-4-list* & *anc-unbound-list*. *anc-unbound-4-cons* := *anc-unbound-4-list* & *anc-4-cons* & *anc-unbound-cons*. *anc-unbound-5-list* := *anc-5-list* & *anc-unbound-list*. *anc-unbound-5-cons* := *anc-unbound-5-list* & *anc-5-cons* & *anc-unbound-cons*. *anc-unbound-null* := *null* & *anc-unbound-list*. |# *eps-list* := *list*. *eps-cons* := *eps-list* & *cons* & [ FIRST saturated-complement-synsem_min & [ loc [sgf sgf-lee-, cat.head vcomp-head], nonloc contains-no-rel_min ], REST *eps-list* ]. ;; a list of maximally five saturated complements *eps-5-list* := *eps-list*. *eps-5-cons* := *eps-5-list* & *eps-cons* & [ REST *eps-4-no-sp-list* ]. ;; a list of maximally four saturated complements *eps-4-list* := *eps-5-list*. *eps-4-cons* := *eps-4-list* & *eps-5-cons* & [ REST *eps-3-no-sp-list* ]. *eps-3-list* := *eps-4-list*. *eps-3-cons* := *eps-3-list* & *eps-4-cons* & [ REST *eps-2-no-sp-list* ]. *eps-2-list* := *eps-3-list*. *eps-2-cons* := *eps-2-list* & *eps-3-cons* & [ REST *eps-1-no-sp-list* ]. *eps-1-list* := *eps-2-list*. *eps-1-cons* := *eps-1-list* & *eps-2-cons* & [ REST *null* ]. *vc-sp-eps-list* := *list*. *vc-sp-eps-cons* := *vc-sp-eps-list* & *cons* & [FIRST sp-sep-or-prd-adj-or-non-fin-verb-synsem , REST *null* ]. *vc-eps-list* := *vc-sp-eps-list*. *vc-eps-cons* := *vc-eps-list* & *vc-sp-eps-cons* & [FIRST [ loc [cat.head prd-adj-or-coherent-inf-verb-head] ], REST *null* ]. *eps-no-sp-list* := *eps-list*. *eps-no-sp-cons* := *eps-no-sp-list* & *eps-cons* & [ FIRST saturated-complement-synsem & [ loc.cat.head vcomp-no-sp-head, nonloc contains-no-rel_min ] ]. *eps-5-no-sp-list* := *eps-5-list* & *eps-no-sp-list*. *eps-5-no-sp-cons* := *eps-5-no-sp-list* & *eps-5-cons* & *eps-no-sp-cons* & [FIRST saturated-complement-synsem_min & [loc.cat.head vcomp-no-sp-head, nonloc contains-no-rel_min ], REST *eps-4-no-sp-list* ]. *eps-4-no-sp-list* := *eps-4-list* & *eps-5-no-sp-list*. *eps-4-no-sp-cons* := *eps-4-no-sp-list* & *eps-4-cons* & *eps-5-no-sp-cons* & [FIRST saturated-complement-synsem_min & [loc.cat.head vcomp-no-sp-head, nonloc contains-no-rel_min ], REST *eps-3-no-sp-list* ]. *eps-3-no-sp-list* := *eps-3-list* & *eps-4-no-sp-list*. *eps-3-no-sp-cons* := *eps-3-no-sp-list* & *eps-3-cons* & *eps-4-no-sp-cons* & [FIRST saturated-complement-synsem_min & [loc.cat.head vcomp-no-sp-head, nonloc contains-no-rel_min ], REST *eps-2-no-sp-list*]. *eps-2-no-sp-list* := *eps-2-list* & *eps-3-no-sp-list*. *eps-2-no-sp-cons* := *eps-2-no-sp-list* & *eps-2-cons* & *eps-3-no-sp-cons* & [FIRST saturated-complement-synsem_min & [loc.cat.head vcomp-no-sp-head, nonloc contains-no-rel_min ], REST *eps-1-no-sp-list* ]. *eps-1-no-sp-list* := *eps-1-list* & *eps-2-no-sp-list*. *eps-1-no-sp-cons* := *eps-1-no-sp-list* & *eps-1-cons* & *eps-2-no-sp-cons* & [FIRST saturated-complement-synsem_min & [loc.cat.head vcomp-no-sp-head, nonloc contains-no-rel_min ], REST *null*]. *eps-no-rel-synsem-list* := *eps-list*. *eps-no-rel-synsem-cons* := *eps-no-rel-synsem-list* & *eps-cons* & [ FIRST [ nonloc contains-no-rel_min ], REST *eps-no-rel-synsem-list* ]. *eps-undef-nonlocs-synsem-list* := *eps-no-rel-synsem-list*. *eps-undef-nonlocs-synsem-cons* := *eps-undef-nonlocs-synsem-list* & *eps-no-rel-synsem-cons* & [ FIRST [ nonloc undef-nonlocs_min ], REST *eps-undef-nonlocs-synsem-list* ]. ;;; Coh up to here. *empty-or-expl-synsem-list* := *eps-1-no-sp-list*. *empty-or-expl-synsem-cons* := *empty-or-expl-synsem-list* & *eps-1-no-sp-cons* & [FIRST expl-noun-synsem, REST *null* ]. *empty-or-clausal-complement-synsem-list* := *eps-1-no-sp-list*. *clausal-complement-synsem-cons* := *empty-or-clausal-complement-synsem-list* & *eps-1-no-sp-cons* & [FIRST clausal-complement-synsem, REST *null*]. *clausal-complement-no-sp-undef-nonlocs-cons* := *eps-1-no-sp-undef-nonlocs-synsem-cons* & *clausal-complement-synsem-cons*. *lr-infl-list* := *list*. *lr-infl-cons* := *cons* & *lr-infl-list* & [FIRST [lr.lr_inflected +], REST *lr-infl-list* ]. #| *restrict-inf-punct-list* := *list*. *restrict-inf-punct-cons* := *cons* & *restrict-inf-punct-list* & < restrict-inf-punct . *restrict-inf-punct-list* >. |# *lex-ppair-list* := *list*. *lex-ppair-cons* := *cons* & *lex-ppair-list* & [FIRST lex-ppair, REST *lex-ppair-list*].