;;; -*- 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 luk-or-undef := *sort*. undef := luk-or-undef. luk := luk-or-undef. na_or_+ := luk. na_or_- := luk. na := na_or_+ & na_or_-. bool := luk. + := bool & na_or_+. - := bool & na_or_-. iforce := predsort. basic-comm := iforce. prop-or-ques := iforce. prop-or-pol-ques-or-comm := iforce. prop-or-comm := prop-or-pol-ques-or-comm. prop-or-pol-ques := prop-or-ques & prop-or-pol-ques-or-comm. prop-or-like := prop-or-comm. basic-prop := prop-or-pol-ques & prop-or-like. punct-prop-comm := iforce. prop-comm := prop-or-comm & punct-prop-comm. prop-like := prop-or-like & prop-comm. prop := basic-prop & prop-like. comm := basic-comm & prop-comm. ques := prop-or-ques. basic-wh-ques := ques. basic-pol-ques := ques & prop-or-pol-ques. punct-ques := ques. pol-ques := basic-pol-ques & punct-ques. wh-ques := basic-wh-ques & punct-ques. ; Subtype to distinguish complementizer "like" from "that", to block ; '*Kim believes like Sandy left' and '*it looks that Sandy left" like-iforce := prop-like. mess-punct := *sort*. nomess-punct:= mess-punct. prop+imp-punct := mess-punct. prop+ques-punct := mess-punct. ques+imp-punct := mess-punct. prop-punct := prop+imp-punct & prop+ques-punct. ques-punct := prop+ques-punct & ques+imp-punct. imp-punct := prop+imp-punct & ques+imp-punct. tpc := *sort*. tpc-undef := tpc. tpc-def := tpc. tpc-non-event := tpc-def. tpc-non-scop := tpc-def. tpc-non-isect := tpc-def. tpc-non-mod := tpc-non-scop & tpc-non-isect. tpc-non-event-non-scop := tpc-non-scop & tpc-non-event. tpc-non-event-non-isect := tpc-non-isect & tpc-non-event. tpc-non-event-non-mod := tpc-non-event-non-scop & tpc-non-event-non-isect & tpc-non-mod. tpc-event := tpc-non-mod. tpc-mod-or-- := tpc-non-event. tpc-mod := tpc-mod-or--. tpc-isect := tpc-mod & tpc-non-event-non-scop. tpc-scop := tpc-mod & tpc-non-event-non-isect. tpc-subj-or-comp := tpc-non-event-non-mod. tpc-subj-or-- := tpc-non-event-non-mod. tpc-comp-or-- := tpc-non-event-non-mod. tpc- := tpc-subj-or-- & tpc-comp-or-- & tpc-mod-or--. tpc-subj := tpc-subj-or-- & tpc-subj-or-comp. tpc-comp := tpc-comp-or-- & tpc-subj-or-comp. #| tpc-nonmod := tpc. tpc-nonsubj := tpc. tpc-noncomp := tpc. tpc-nonevent :=tpc. tpc-nonsubj-noncomp := tpc-nonsubj & tpc-noncomp. tpc-nonsubj-nonmod := tpc-nonsubj & tpc-nonmod. tpc-nonsubj-nonevent := tpc-nonsubj & tpc-nonevent. tpc-noncomp-nonmod := tpc-noncomp & tpc-nonmod. tpc-noncomp-nonevent := tpc-noncomp & tpc-nonevent. tpc-nonmod-nonevent := tpc-nonmod & tpc-nonevent. tpc-subj-or-comp := tpc-nonmod-nonevent & tpc+. tpc-mod_or_- := tpc-nonsubj-noncomp & tpc-nonsubj-nonevent & tpc-noncomp-nonevent. tpc-subj_or_- := tpc-noncomp-nonmod & tpc-noncomp-nonevent & tpc-nonmod-nonevent. tpc-comp_or_- := tpc-nonsubj-nonmod & tpc-nonsubj-nonevent & tpc-nonmod-nonevent. tpc-event_or_- := tpc-nonsubj-nonmod & tpc-nonsubj-noncomp & tpc-noncomp-nonmod. tpc+ := tpc. tpc-mod := tpc+ & tpc-mod_or_-. tpc-isect := tpc-mod. tpc-scop := tpc-mod. tpc-subj := tpc-subj-or-comp & tpc-subj_or_-. tpc-comp := tpc-subj-or-comp & tpc-comp_or_-. tpc-event := tpc+ & tpc-event_or_-. tpc- := tpc-mod_or_- & tpc-subj_or_- & tpc-comp_or_- & tpc-event_or_-. |# opt:= *sort*. opt_+ := opt. opt_- := opt. tdrop_+ := opt. tdrop_- := opt. opt_+_tdrop_+ := opt_+ & tdrop_+. opt_+_tdrop_ := opt_+ & tdrop_-. opt_-_tdrop_+ := opt_- & tdrop_+. opt_-_tdrop_- := opt_- & tdrop_-. adjunction :=*sort*. modifiable :=adjunction. unmodifiable :=adjunction. modified := adjunction. unmodified := adjunction. modified-unmodifiable := modified & unmodifiable. modified-modifiable := modified & modifiable. unmodified-unmodifiable := unmodified & unmodifiable. unmodified-modifiable := unmodified & modifiable. xposs := *sort*. x_a- := xposs. x_c- := xposs. x_+ := xposs. x_a+ := x_+. x_c+ := x_+. x_c+a+ := x_c+ & x_a+. x_c+a- := x_c+ & x_a-. x_c-a+ := x_c- & x_a+. x_- := x_c- & x_a-. s+ :=xposs. s- :=xposs. s+_x_a- := s+ & x_a-. s+_x_c- := s+ & x_c-. s+_x_+ := s+ & x_+. s+_x_a+ := s+_x_+ & x_a+. s+_x_c+ := s+_x_+ & x_c+. s+_x_c+a+ := s+_x_a+ & s+_x_c+ & x_c+a+. s+_x_c+a- := s+_x_c+ & s+_x_a- & x_c+a-. s+_x_c-a+ := s+_x_a+ & s+_x_c- & x_c-a+ . s+_x_- := x_- & s+_x_c- & s+_x_a-. s-_x_a- := s- & x_a-. s-_x_c- := s- & x_c-. s-_x_+ := s- & x_+. s-_x_a+ := s-_x_+ & x_a+. s-_x_c+ := s-_x_+ & x_c+. s-_x_c+a+ := s-_x_a+ & s-_x_c+ & x_c+a+. s-_x_c+a- := s-_x_c+ & s-_x_a- & x_c+a-. s-_x_c-a+ := s-_x_a+ & s-_x_c- & x_c-a+ . s-_x_- := x_- & s-_x_c- & s-_x_a-. extra := *sort*. extra_+ := extra. extra_- := extra. +-obl := extra_+. +-fak := extra_+. ptype := *sort*. expl := ptype. poss := ptype. refl_std := ptype. refl := refl_std. nonrefl := ptype. vform := *sort*. real-vform-sm := vform. fin-sm := real-vform-sm. non-fin-sm := vform & --zu-type. adjective-sm := vform. real-non-fin-sm := real-vform-sm & non-fin-sm. inf-ppp-sm := real-non-fin-sm. bse-ppp-sm := non-fin-sm. inf-bse-sm := non-fin-sm. inf-or-real-bse-sm := real-non-fin-sm & inf-bse-sm. ppp-or-real-bse-sm := real-non-fin-sm & bse-ppp-sm. inf-sm := inf-ppp-sm & inf-or-real-bse-sm. bse-sm := bse-ppp-sm & inf-bse-sm. ppp-sm := inf-ppp-sm & ppp-or-real-bse-sm. zu-bse-sm := bse-sm. real-bse-sm := bse-sm & inf-or-real-bse-sm & ppp-or-real-bse-sm. passiv-sm := non-fin-sm. ;; Complementizer Form cform := *sort*. dass-ob-v2-cf := cform. dass-ob-cf := dass-ob-v2-cf. dass-v2-cf := dass-ob-v2-cf. dass-wenn-cf := cform. dass-cf := dass-wenn-cf & dass-ob-cf & dass-v2-cf. ob-cf := dass-ob-cf. v2-cf := dass-v2-cf. auxf := *sort*. haben-auxf := auxf. sein-auxf := auxf. auxt := *sort*. perfect := auxt. passiv := auxt. pform := *sort*. abstr-pform := pform. a-pform := pform. ab-von-pform := pform. ab-pform := ab-von-pform. abseits-pform := pform. abzueglich-pform := pform. als_sprep-pform := pform. an-bei-pform := pform. an-pform := an-bei-pform. angesichts-pform := pform. anhand-pform := pform. anlaesslich-pform := pform. anstatt-pform := pform. anstelle-pform := pform. auf-ueber-pform := pform. auf-pform := auf-ueber-pform. aufgrund-pform := pform. aus-von-pform := pform. aus-pform := aus-von-pform. ausgenommen-pform := pform. ausser-pform := pform. ausserhalb-pform := pform. bei-pform := an-bei-pform. betreffens-pform := pform. bezueglich-pform := pform. binnen-pform := pform. bis-pform := pform. da-pform := pform. ;; ??? durch-von-pform := pform. durch-pform := durch-von-pform. einschliesslich-pform := pform. entgegen-pform := pform. exklusiv-pform := pform. fuer-gegen-pform := pform. fuer-pform := fuer-gegen-pform. gegen-pform := fuer-gegen-pform. gegenueber-pform := pform. gemaess-pform := pform. halber-pform := pform. hinter-pform := pform. in-pform := pform. ins-pform := pform. inbegriffen-pform := pform. infolge-pform := pform. inklusive-pform := pform. innerhalb-pform := pform. jenseits-pform := pform. laut_sprep-pform := pform. mangels-pform := pform. mit-pform := pform. mittels-pform := pform. nach-pform := pform. naechst_sprep-pform := pform. neben-pform := pform. ohne-pform := pform. per-pform := pform. plus-pform := pform. pro-pform := pform. samt-pform := pform. seit-pform := pform. seitens-pform := pform. statt-pform := pform. trotz-pform := pform. ueber-von-pform := pform. ueber-wegen-pform := pform. ueber-pform := auf-ueber-pform & ueber-von-pform & ueber-wegen-pform. um-pform := pform. ungeachtet-pform := pform. unter-pform := pform. via-pform := pform. von-pform := ab-von-pform & aus-von-pform & durch-von-pform & ueber-von-pform. von-bis-pform := pform. vor-pform := pform. waehrend-pform := pform. wegen-pform := ueber-wegen-pform. westlich-pform := pform. wider-pform := pform. zugunsten-pform := pform. zuungunsten-pform := pform. zuliebe-pform := pform. zuzueglich-pform := pform. zu-pform := pform. zurueck-pform := pform. zwecks-pform := pform. zwischen-pform := pform. gen-pform := pform. bis-zu-pform := pform. als-pform := pform. coordform := *sort*. normal-coord := coordform. advers-coord := coordform. non_advers-coord := coordform. aber-coord := normal-coord & advers-coord. bzw-coord := normal-coord & non_advers-coord. bis-coord := normal-coord & non_advers-coord. minus-coord := normal-coord & non_advers-coord. und-coord := normal-coord & non_advers-coord. sowie-coord := normal-coord & non_advers-coord. slash-coord := normal-coord & non_advers-coord. binary-coord := coordform & [_mycoordform string, _depcoordform string]. initial-binary-coord := binary-coord. final-binary-coord := binary-coord. als-auch-coord := final-binary-coord & non_advers-coord & [_depcoordform "sowohl", _mycoordform "als-auch"]. desto-coord := final-binary-coord & advers-coord & [_depcoordform "je", _mycoordform "desto"]. entweder-coord := initial-binary-coord & non_advers-coord & [_mycoordform "entweder", _depcoordform "oder"]. je-coord := initial-binary-coord & non_advers-coord & [_mycoordform "je", _depcoordform "desto"]. nicht-coord := initial-binary-coord & non_advers-coord & [_mycoordform "nicht", _depcoordform "sondern"]. noch-coord := final-binary-coord & non_advers-coord & [_depcoordform "weder", _mycoordform "noch"]. sondern-coord := final-binary-coord & advers-coord & [_depcoordform "nicht", _mycoordform "sondern"]. sowohl-coord := initial-binary-coord & non_advers-coord & [_mycoordform "sowohl", _depcoordform "als-auch"]. weder-coord := initial-binary-coord & non_advers-coord & [_mycoordform "weder", _depcoordform "noch"]. oder-coord := normal-coord & non_advers-coord. oder-fin-coord := final-binary-coord & non_advers-coord & [_depcoordform "entweder", _mycoordform "oder"]. zahl_region := anything. below-hundred := zahl_region. ; 1 - 99 below-thousand := zahl_region. ; 100 - 900 above-thousand := zahl_region. below-hundred-plus-below-thousand := zahl_region. ; 900 99 = 999 ;;; 0 - 23 und 0 - 59 minuten_zahl_region := below-hundred. stunden_zahl_region := minuten_zahl_region. predsort := *sort*. gf-val := *sort*. gf-subj := gf-val. gf-obj := gf-val. ;:end :type.