;;; -*- Mode: TDL; Coding: utf-8 -*- ;;; Authors: ;;; 2005-2006 Berthold Crysmann ;;; Copyright: DFKI GmbH *opt-list* := *eps-list*. *opt-cons* := *eps-cons* & *opt-list* & [FIRST synsem & [loc.cat.opt +], REST *opt-list* ]. ;; a list of maximally five saturated complements *opt-5-list* := *eps-5-list* & *opt-list*. *opt-5-cons* := *eps-5-cons* & *opt-5-list* & *opt-cons* & [ REST *opt-4-no-sp-list* ]. ;; a list of maximally four saturated complements *opt-4-list* := *eps-4-list* & *opt-5-list*. *opt-4-cons* := *eps-4-cons* & *opt-4-list* & *opt-5-cons* & [ REST *opt-3-no-sp-list* ]. *opt-3-list* := *eps-3-list* & *opt-4-list*. *opt-3-cons* := *eps-3-cons* & *opt-3-list* & *opt-4-cons* & [ REST *opt-2-no-sp-list* ]. *opt-2-list* := *eps-2-list* & *opt-3-list*. *opt-2-cons* := *eps-2-cons* & *opt-2-list* & *opt-3-cons* & [ REST *opt-1-no-sp-list* ]. *opt-1-list* := *eps-1-list* & *opt-2-list*. *opt-1-cons* := *eps-1-cons* & *opt-1-list* & *opt-2-cons* & [REST *null* ]. *vc-sp-opt-list* := *vc-sp-eps-list*. *vc-sp-opt-cons* := *vc-sp-opt-list* & *vc-sp-eps-cons* & [FIRST sp-sep-or-prd-adj-or-non-fin-verb-synsem & [loc.cat.opt +], REST *null* ]. *vc-opt-list* := *vc-sp-opt-list* & *vc-eps-list*. *vc-opt-cons* := *vc-opt-list* & *vc-sp-opt-cons* & *vc-eps-cons* & [FIRST [ loc [cat.head prd-adj-or-coherent-inf-verb-head] ], REST *null* ]. *opt-no-sp-list* := *eps-no-sp-list* & *opt-list*. *opt-no-sp-cons* := *eps-no-sp-cons* & *opt-no-sp-list* & *opt-cons* & [ FIRST saturated-complement-synsem & [ loc.cat.head vcomp-no-sp-head, nonloc contains-no-rel ] ]. *opt-5-no-sp-list* := *eps-5-no-sp-list* & *opt-5-list* & *opt-no-sp-list*. *opt-5-no-sp-cons* := *eps-5-no-sp-cons* & *opt-5-no-sp-list* & *opt-5-cons* & *opt-no-sp-cons* & [FIRST saturated-complement-synsem & [loc.cat.head vcomp-no-sp-head, nonloc contains-no-rel ], REST *opt-4-no-sp-list* ]. *opt-4-no-sp-list* := *eps-4-no-sp-list* & *opt-4-list* & *opt-5-no-sp-list*. *opt-4-no-sp-cons* := *eps-4-no-sp-cons* & *opt-4-no-sp-list* & *opt-4-cons* & *opt-5-no-sp-cons* & [FIRST saturated-complement-synsem & [loc.cat.head vcomp-no-sp-head, nonloc contains-no-rel ], REST *opt-3-no-sp-list* ]. *opt-3-no-sp-list* := *eps-3-no-sp-list* & *opt-3-list* & *opt-4-no-sp-list*. *opt-3-no-sp-cons* := *eps-3-no-sp-cons* & *opt-3-no-sp-list* & *opt-3-cons* & *opt-4-no-sp-cons* & [FIRST saturated-complement-synsem & [loc.cat.head vcomp-no-sp-head, nonloc contains-no-rel ], REST *opt-2-no-sp-list*]. *opt-2-no-sp-list* := *eps-2-no-sp-list* & *opt-2-list* & *opt-3-no-sp-list*. *opt-2-no-sp-cons* := *eps-2-no-sp-cons* & *opt-2-no-sp-list* & *opt-2-cons* & *opt-3-no-sp-cons* & [FIRST saturated-complement-synsem & [loc.cat.head vcomp-no-sp-head, nonloc contains-no-rel ], REST *opt-1-no-sp-list* ]. *opt-1-no-sp-list* := *eps-1-no-sp-list* & *opt-1-list* & *opt-2-no-sp-list*. *opt-1-no-sp-cons* := *eps-1-no-sp-cons* & *opt-1-no-sp-list* & *opt-1-cons* & *opt-2-no-sp-cons* & [FIRST saturated-complement-synsem & [loc.cat.head vcomp-no-sp-head, nonloc contains-no-rel ], REST *null*]. *opt-no-rel-synsem-list* := *eps-no-rel-synsem-list* & *opt-list*. *opt-no-rel-synsem-cons* := *eps-no-rel-synsem-cons* & *opt-no-rel-synsem-list* & *opt-cons* & [FIRST [ nonloc contains-no-rel ], REST *opt-no-rel-synsem-list* ]. *opt-undef-nonlocs-synsem-list* := *eps-undef-nonlocs-synsem-list* & *opt-no-rel-synsem-list*. *opt-undef-nonlocs-synsem-cons* := *eps-undef-nonlocs-synsem-cons* & *opt-undef-nonlocs-synsem-list* & *opt-no-rel-synsem-cons* & [ FIRST [ nonloc undef-nonlocs ], REST *opt-undef-nonlocs-synsem-list* ]. *opt-no-sp-no-rel-synsem-list* := *eps-no-sp-no-rel-synsem-list* & *opt-no-rel-synsem-list* & *opt-no-sp-list*. *opt-no-sp-no-rel-synsem-cons* := *eps-no-sp-no-rel-synsem-cons* & *opt-no-sp-no-rel-synsem-list* & *opt-no-rel-synsem-cons* & *opt-no-sp-cons*. *opt-5-no-rel-synsem-list* := *eps-5-no-rel-synsem-list* & *opt-no-rel-synsem-list* & *opt-5-list*. *opt-5-no-rel-synsem-cons* := *eps-5-no-rel-synsem-cons* & *opt-5-no-rel-synsem-list* & *opt-no-rel-synsem-cons* & *opt-5-cons*. *opt-4-no-rel-synsem-list* := *eps-4-no-rel-synsem-list* & *opt-5-no-rel-synsem-list* & *opt-4-list*. *opt-4-no-rel-synsem-cons* := *eps-4-no-rel-synsem-cons* & *opt-4-no-rel-synsem-list* & *opt-5-no-rel-synsem-cons* & *opt-4-cons*. *opt-3-no-rel-synsem-list* := *eps-3-no-rel-synsem-list* & *opt-4-no-rel-synsem-list* & *opt-3-list*. *opt-3-no-rel-synsem-cons* := *eps-3-no-rel-synsem-cons* & *opt-3-no-rel-synsem-list* & *opt-4-no-rel-synsem-cons* & *opt-3-cons*. *opt-2-no-rel-synsem-list* := *eps-2-no-rel-synsem-list* & *opt-3-no-rel-synsem-list* & *opt-2-list*. *opt-2-no-rel-synsem-cons* := *eps-2-no-rel-synsem-cons* & *opt-2-no-rel-synsem-list* & *opt-3-no-rel-synsem-cons* & *opt-2-cons*. *opt-1-no-rel-synsem-list* := *eps-1-no-rel-synsem-list* & *opt-2-no-rel-synsem-list* & *opt-1-list*. *opt-1-no-rel-synsem-cons* := *eps-1-no-rel-synsem-cons* & *opt-1-no-rel-synsem-list* & *opt-2-no-rel-synsem-cons* & *opt-1-cons*. *opt-5-undef-nonlocs-synsem-list* := *eps-5-undef-nonlocs-synsem-list* & *opt-undef-nonlocs-synsem-list* & *opt-5-no-rel-synsem-list*. *opt-5-undef-nonlocs-synsem-cons* := *eps-5-undef-nonlocs-synsem-cons* & *opt-5-undef-nonlocs-synsem-list* & *opt-undef-nonlocs-synsem-cons* & *opt-5-no-rel-synsem-cons*. *opt-4-undef-nonlocs-synsem-list* := *eps-4-undef-nonlocs-synsem-list* & *opt-5-undef-nonlocs-synsem-list* & *opt-4-no-rel-synsem-list*. *opt-4-undef-nonlocs-synsem-cons* := *eps-4-undef-nonlocs-synsem-cons* & *opt-4-undef-nonlocs-synsem-list* & *opt-5-undef-nonlocs-synsem-cons* & *opt-4-no-rel-synsem-cons*. *opt-3-undef-nonlocs-synsem-list* := *eps-3-undef-nonlocs-synsem-list* & *opt-4-undef-nonlocs-synsem-list* & *opt-3-no-rel-synsem-list*. *opt-3-undef-nonlocs-synsem-cons* := *eps-3-undef-nonlocs-synsem-cons* & *opt-3-undef-nonlocs-synsem-list* & *opt-4-undef-nonlocs-synsem-cons* & *opt-3-no-rel-synsem-cons*. *opt-2-undef-nonlocs-synsem-list* := *eps-2-undef-nonlocs-synsem-list* & *opt-3-undef-nonlocs-synsem-list* & *opt-2-no-rel-synsem-list*. *opt-2-undef-nonlocs-synsem-cons* := *eps-2-undef-nonlocs-synsem-cons* & *opt-2-undef-nonlocs-synsem-list* & *opt-3-undef-nonlocs-synsem-cons* & *opt-2-no-rel-synsem-cons*. *opt-1-undef-nonlocs-synsem-list* := *eps-1-undef-nonlocs-synsem-list* & *opt-2-undef-nonlocs-synsem-list* & *opt-1-no-rel-synsem-list*. *opt-1-undef-nonlocs-synsem-cons* := *eps-1-undef-nonlocs-synsem-cons* & *opt-1-undef-nonlocs-synsem-list* & *opt-2-undef-nonlocs-synsem-cons* & *opt-1-no-rel-synsem-cons*. *opt-no-sp-undef-nonlocs-synsem-list* := *eps-no-sp-undef-nonlocs-synsem-list* & *opt-undef-nonlocs-synsem-list* & *opt-no-sp-no-rel-synsem-list*. *opt-no-sp-undef-nonlocs-synsem-cons* := *eps-no-sp-undef-nonlocs-synsem-cons* & *opt-no-sp-undef-nonlocs-synsem-list* & *opt-undef-nonlocs-synsem-cons* & *opt-no-sp-no-rel-synsem-cons*. *opt-5-no-sp-no-rel-synsem-list* := *eps-5-no-sp-no-rel-synsem-list* & *opt-5-no-sp-list* & *opt-5-no-rel-synsem-list* & *opt-no-sp-no-rel-synsem-list*. *opt-5-no-sp-no-rel-synsem-cons* := *eps-5-no-sp-no-rel-synsem-cons* & *opt-no-sp-no-rel-synsem-cons* & *opt-5-no-sp-no-rel-synsem-list* & *opt-5-no-sp-cons* & *opt-5-no-rel-synsem-cons*. *opt-4-no-sp-no-rel-synsem-list* := *eps-4-no-sp-no-rel-synsem-list* & *opt-5-no-sp-no-rel-synsem-list* & *opt-4-no-sp-list* & *opt-4-no-rel-synsem-list*. *opt-4-no-sp-no-rel-synsem-cons* := *eps-4-no-sp-no-rel-synsem-cons* & *opt-5-no-sp-no-rel-synsem-cons* & *opt-4-no-sp-no-rel-synsem-list* & *opt-4-no-sp-cons* & *opt-4-no-rel-synsem-cons*. *opt-3-no-sp-no-rel-synsem-list* := *eps-3-no-sp-no-rel-synsem-list* & *opt-4-no-sp-no-rel-synsem-list* & *opt-3-no-sp-list* & *opt-3-no-rel-synsem-list*. *opt-3-no-sp-no-rel-synsem-cons* := *eps-3-no-sp-no-rel-synsem-cons* & *opt-4-no-sp-no-rel-synsem-cons* & *opt-3-no-sp-no-rel-synsem-list* & *opt-3-no-sp-cons* & *opt-3-no-rel-synsem-cons*. *opt-2-no-sp-no-rel-synsem-list* := *eps-2-no-sp-no-rel-synsem-list* & *opt-3-no-sp-no-rel-synsem-list* & *opt-2-no-sp-list* & *opt-2-no-rel-synsem-list*. *opt-2-no-sp-no-rel-synsem-cons* := *eps-2-no-sp-no-rel-synsem-cons* & *opt-3-no-sp-no-rel-synsem-cons* & *opt-2-no-sp-no-rel-synsem-list* & *opt-2-no-sp-cons* & *opt-2-no-rel-synsem-cons*. *opt-1-no-sp-no-rel-synsem-list* := *eps-1-no-sp-no-rel-synsem-list* & *opt-2-no-sp-no-rel-synsem-list* & *opt-1-no-sp-list* & *opt-1-no-rel-synsem-list*. *opt-1-no-sp-no-rel-synsem-cons* := *eps-1-no-sp-no-rel-synsem-cons* & *opt-2-no-sp-no-rel-synsem-cons* & *opt-1-no-sp-no-rel-synsem-list* & *opt-1-no-sp-cons* & *opt-1-no-rel-synsem-cons*. *opt-5-no-sp-undef-nonlocs-synsem-list* := *eps-5-no-sp-undef-nonlocs-synsem-list* & *opt-no-sp-undef-nonlocs-synsem-list* & *opt-5-no-sp-no-rel-synsem-list* & *opt-5-undef-nonlocs-synsem-list*. *opt-5-no-sp-undef-nonlocs-synsem-cons* := *eps-5-no-sp-undef-nonlocs-synsem-cons* & *opt-no-sp-undef-nonlocs-synsem-cons* & *opt-5-no-sp-undef-nonlocs-synsem-list* & *opt-5-no-sp-no-rel-synsem-cons* & *opt-5-undef-nonlocs-synsem-cons* . *opt-4-no-sp-undef-nonlocs-synsem-list* := *eps-4-no-sp-undef-nonlocs-synsem-list* & *opt-5-no-sp-undef-nonlocs-synsem-list* & *opt-4-no-sp-no-rel-synsem-list* & *opt-4-undef-nonlocs-synsem-list*. *opt-4-no-sp-undef-nonlocs-synsem-cons* := *eps-4-no-sp-undef-nonlocs-synsem-cons* & *opt-5-no-sp-undef-nonlocs-synsem-cons* & *opt-4-no-sp-undef-nonlocs-synsem-list* & *opt-4-no-sp-no-rel-synsem-cons* & *opt-4-undef-nonlocs-synsem-cons*. *opt-3-no-sp-undef-nonlocs-synsem-list* := *eps-3-no-sp-undef-nonlocs-synsem-list* & *opt-4-no-sp-undef-nonlocs-synsem-list* & *opt-3-no-sp-no-rel-synsem-list* & *opt-3-undef-nonlocs-synsem-list*. *opt-3-no-sp-undef-nonlocs-synsem-cons* := *eps-3-no-sp-undef-nonlocs-synsem-cons* & *opt-4-no-sp-undef-nonlocs-synsem-cons* & *opt-3-no-sp-undef-nonlocs-synsem-list* & *opt-3-no-sp-no-rel-synsem-cons* & *opt-3-undef-nonlocs-synsem-cons*. *opt-2-no-sp-undef-nonlocs-synsem-list* := *eps-2-no-sp-undef-nonlocs-synsem-list* & *opt-3-no-sp-undef-nonlocs-synsem-list* & *opt-2-no-sp-no-rel-synsem-list* & *opt-2-undef-nonlocs-synsem-list*. *opt-2-no-sp-undef-nonlocs-synsem-cons* := *eps-2-no-sp-undef-nonlocs-synsem-cons* & *opt-3-no-sp-undef-nonlocs-synsem-cons* & *opt-2-no-sp-undef-nonlocs-synsem-list* & *opt-2-no-sp-no-rel-synsem-cons* & *opt-2-undef-nonlocs-synsem-cons*. *opt-1-no-sp-undef-nonlocs-synsem-list* := *eps-1-no-sp-undef-nonlocs-synsem-list* & *opt-2-no-sp-undef-nonlocs-synsem-list* & *opt-1-no-sp-no-rel-synsem-list* & *opt-1-undef-nonlocs-synsem-list*. *opt-1-no-sp-undef-nonlocs-synsem-cons* := *eps-1-no-sp-undef-nonlocs-synsem-cons* & *opt-2-no-sp-undef-nonlocs-synsem-cons* & *opt-1-no-sp-undef-nonlocs-synsem-list* & *opt-1-no-sp-no-rel-synsem-cons* & *opt-1-undef-nonlocs-synsem-cons*.