;;; -*- 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.