GERMAN GRAM CONFIG (1.0)
  ROOTCAT ROOT.
  LEXENTRIES (TOY GERMAN).
  RULES (TOY GERMAN).
  GOVERNABLERELATIONS   SUBJ OBJ OBJ-TH OBL-TH COMP XCOMP.
  SEMANTICFUNCTIONS   ADJUNCT MOD TOPIC FOCUS.
  NONDISTRIBUTIVES   NUM PERS GEND.

----
TOY GERMAN RULES (1.0)

"
   Bindungs-Theorie
   
   Fritz(i) weiss, dass Maria(k) sich(j) mag.
   * Fritz(i) weiss, dass Maria(j) sich(i) mag.

   Fritz(f) weiss, dass Hans(h) ihn(f) mag.
   Fritz(f) weiss, dass Hans(h) ihn(g) mag.
   * Fritz(i) weiss, dass Hans(k) ihn(k) mag.

   FRAGEN:
   (1) Welche Bindungsdomäne liegt jeweils vor?

   AUFGABE:
   (2) Los gehts...
"

"""
HILFESTELLUNG (SYNTAX):

Co-Argument Domäne
(GF*: (-> ~(PRED)) GF_pro f)

Minimal Complete Nucleus
(GF*: (-> ~(SUBJ)) GF_pro f)

Minimal Finite Nucleus
(GF*: (-> ~(TENSE)) GF_pro f)

Root-Domäne
(GF*: GF_pro f)
"""

ROOT --> IP
	 	 ( { PERIOD | EXCLAM | QMARK } ).

IP	--> DP: { (^SUBJ)=! (!CASE)=nom | (^OBJ)=! (!CASE)=acc | (^OBJ-TH)=! (!CASE)=dat };
	    I'.

I'	--> I
	    CP: (^COMP)=!.

CP	--> ( COMMA )
		C
		VP.

VP  --> DP: { (^SUBJ)=! (!CASE)=nom | (^OBJ)=! (!CASE)=acc | (^OBJ-TH)=! (!CASE)=dat };+
	    V.

DP	--> NP.

NP	--> { (DET) N | PRON }.

----
TOY GERMAN LEXICON (1.0)

"Eigennamen"
Maria 	  N * (^PRED) = 'Maria'
	      	  { (^CASE) = nom
	      	  | (^CASE) = dat
	      	  | (^CASE) = acc }
	      	  (^PERS) = 3
			  (^NUM) = sg
	      	  (^GEND) = fem.

Hans 	  N * (^PRED) = 'Hans'
	      	  { (^CASE) = nom
	      	  | (^CASE) = dat
	      	  | (^CASE) = acc }
	      	  (^PERS) = 3
	      	  (^NUM) = sg
	      	  (^GEND) = masc.

Fritz 	  N * (^PRED) = 'Fritz'
	      	  { (^CASE) = nom
	      	  | (^CASE) = dat
	      	  | (^CASE) = acc }
	      	  (^PERS) = 3
	      	  (^NUM) = sg
	      	  (^GEND) = masc.

"Pronomen"
ihn	  PRON * (^PRED) = 'pro'
			 (^PRON-TYPE) = pers.

sich  PRON * (^PRED) = 'pro'
			 (^PRON-TYPE) = refl.

"Verben"
weiss 	  I * (^PRED)='glauben<(^SUBJ)(^COMP)>'
	          (^COMP COMP-TYPE) =c dass
	      	  (^SUBJ NUM) = sg
	      	  (^SUBJ PERS) = 3
	      	  (^TENSE) = present.

mag 	  V * (^PRED)='moegen<(^SUBJ)(^OBJ)>'
	      	  (^SUBJ NUM) = sg
	      	  (^SUBJ PERS) = 3
	      	  (^TENSE) = present.

"Complementizer"
weil 	  C * (^COMP-TYPE) = weil. 	
ob 	  	  C * (^COMP-TYPE) = ob.
dass 	  C * (^COMP-TYPE) = dass. 	 

"Punctuation"
. 	  PERIOD * (^CLAUSE-TYPE) = declarative.
! 	  EXCLAM * (^CLAUSE-TYPE) ~= interrogative.
? 	  QMARK  * (^CLAUSE-TYPE) = interrogative.
, 	  COMMA  * ^=!.

----