TOY    ENGLISH   CONFIG (1.0)
  ROOTCAT   S.
  FILES  .
  LEXENTRIES   (TOY ENGLISH).
  TEMPLATES   (TOY ENGLISH).
  RULES   (TOY ENGLISH).
  GOVERNABLERELATIONS    SUBJ OBJ OBJ2 OBJ-TH OBL OBL-?+ COMP XCOMP.
  SEMANTICFUNCTIONS    ADJUNCT  TOPIC.
  NONDISTRIBUTIVES    NUM PERS COORD-FORM COORD-TYPE STMT-TYPE.
  EPSILON   e.

----

TOY ENGLISH RULES (1.0)

   S --> NP: (^ SUBJ) = !;
 	 VP: ^ = !;
 	 (PERIOD).

   VP --> (AUX)
 	  V: ^ = !;
 	  ({ NP: (^ OBJ) = !		"whole bunch of NP arguments"
		 (! CASE) = acc
 	    |NP: (^ OBJ) = !
		 (! CASE) = acc;
 	     NP: (^ OBJ-TH) = !
		 (! CASE) = dat
 	    |NP: (^ OBJ-TH) = !
		 (! CASE) = dat})
 	  PP*: { (^ OBL) = !		"PP can either be OBL argument"
		|! $ (^ ADJUNCT)	"or ADJUNCT with sem. prep."
		 (! PTYPE) =c sem
		|(^ OBL-AG) = !		"or OBL-AG with 'by'"
		 (! PCASE) =c by}.

   NP --> { { (DET: (^ SPEC DET) = !)		"take care of pronoun configurations"
 	     |(POSS: (^ SPEC POSS) = !)}
 	    AP*: ! $ (^ ADJUNCT);
 	    N: ^ = !
 	  | PRON: ^ = !}
 	  PP*: ! $ (^ ADJUNCT)		"PP as ADJUNCT must have sem. prep."
	       (! PTYPE) =c sem.

   PP --> P: ^ = !;
 	  NP: { (^ OBJ) = !
		(^ PTYPE) = sem
	      | ^ = !
		(^ PTYPE) = nosem}.

   AP --> A: ^ = !.

----

TOY ENGLISH TEMPLATES (1.0)

   V3SG = "3rd person singular verb"
	  (^ SUBJ NUM) =c sg
	  (^ SUBJ PERS) =c 3.

   NONV3SG = "non-3rd person singular verb"
	  { (^ SUBJ NUM) =c pl
	   |(^ SUBJ NUM) =c sg
	    (^ SUBJ PERS) ~= 3
	   |(^ TENSE) =c future}.

   NSG(P) = "singular noun"
	  (^ PRED) = 'P'
	  (^ PERS) = 3
	  (^ NUM) = sg.

   NPL(P) = "plural noun"
	  (^ PRED) = 'P'
	  (^ PERS) = 3
	  (^ NUM) = pl.

   TRANS(P) = "transitive verb"
	  @(PASS (^ PRED) = 'P<(^ SUBJ)(^ OBJ)>').

   INTRANS(P) = "intransitive verb"
	  (^ PRED) = 'P<(^ SUBJ)>'.

   DITRANS(P) = "ditransitive verb"
	  @(PASS @(DAT-SHIFT (^ PRED) = 'P<(^ SUBJ)(^ OBJ)(^ OBL)>')).

   SPRAYLOAD(P) = "spray/load type verb"
	  @(PASS @(SPRAYLOADALT (^ PRED) = 'P<(^ SUBJ)(^ OBJ)(^ OBL)>')).

   OPTTRANS(P) = "intransitive or transitive verb"
	  { @(TRANS P)
	   |@(INTRANS P)}.

   PRES = "present tense"
	  (^ TENSE) = present.

   PRESFUT = "present or future tense"
	  { (^ TENSE) = present
	   |(^ TENSE) =c future}.	"future feature comes from AUX"

   PAST = "past tense"
	  (^ TENSE) = past.

   PERSPRON(P PERSON NUMBER) = "personal pronoun" 
	  (^ PRED) = 'P'
	  (^ PERS) = PERSON
	  (^ NUM) = NUMBER.

   POSSPRON(P PERSON NUMBER) = "possessive pronoun" 
	  (^ PRED) = 'P'
	  (^ PERS) = PERSON
	  (^ NUM) = NUMBER
	  (^ PRON-TYPE) = poss.

   PREPSEM(P) = "semantic preposition"
	  (^ PRED) = 'P<(^ OBJ)>'
	  (^ PTYPE) = sem.

   PREPNOSEM(P) = "nonsemantic preposition"
	  (^ PCASE) = P
	  (^ PTYPE) = nosem.

   ADJ(P) = "adjectives"
	  (^ PRED) = 'P'.

   PASS(SCHEMATA) = "lexical rule for passive"
	  { SCHEMATA
	   |SCHEMATA
	    (^ PASSIVE) =c +
	    (^ OBJ) --> (^ SUBJ)
	    { (^ SUBJ) --> (^ OBL-AG)
	     |(^ SUBJ) --> NULL}}.

   DAT-SHIFT(SCHEMATA) = "lexical rule for dative shift"
	  { SCHEMATA
	    (^ OBL PCASE) =c to 
	   |SCHEMATA
	    (^ OBJ) --> (^ OBJ-TH)	"OBJ becomes OBJ-TH"
	    (^ OBL) --> (^ OBJ)}.	"OBL becomes OBJ"

   SPRAYLOADALT(SCHEMATA) = "lexical rule for the spray/load alternation"
	  { SCHEMATA
	    (^ OBL PSEM) =c dir 
	   |SCHEMATA
	    (^ OBJ) --> (^ OBL)		"OBJ becomes OBL"
	    (^ OBL) --> (^ OBJ)}.	"OBL becomes OBJ"

----

TOY ENGLISH LEXICON (1.0)

students  N * @(NPL student).

student   N * @(NSG student).
	   
Pete 	  N * @(NSG Pete).

John	  N * @(NSG John).

dog 	  N * @(NSG dog).

monkey 	  N * @(NSG monkey).

children  N * @(NPL child).

room	  N * @(NSG room).

bone	  N * @(NSG bone).

coin	  N * @(NSG coin).

hay	  N * @(NSG hay).

wagon	  N * @(NSG wagon).

paint	  N * @(NSG paint).

wall	  N * @(NSG wall).

kill 	  V * @(TRANS kill)
	      @NONV3SG
	      @PRESFUT.

kills 	  V * @(TRANS kill)
	      @V3SG
	      @PRES.

killed 	  V * @(TRANS kill)
	      @PAST.
 
see 	  V * @(TRANS see)
	      @NONV3SG
	      @PRESFUT.

sees 	  V * @(TRANS see)
	      @V3SG
	      @PRES.

sleep 	  V * @(INTRANS sleep)
	      @NONV3SG
	      @PRESFUT.

sleeps 	  V * @(INTRANS sleep)
	      @V3SG
	      @PRES.

slept 	  V * @(INTRANS sleep)
	      @PRES.

waits 	  V * @(INTRANS wait)
	      @V3SG
	      @PRES.

played 	  V * @(OPTTRANS play)
	      @PAST.

stinks 	  V * @(INTRANS stink)
	      @V3SG
	      @PRES.

rain 	  V * (^ PRED) = 'rain<>(^ SUBJ)'   "rain has a non-thematic subject"
	      @NONV3SG
	      @PRESFUT
	      (^ SUBJ PRON-FORM) =c it.     "rain needs expletive subject 'it'"

seen 	  V * @(TRANS see)
	      @PAST.

give 	  V * @(DITRANS give)
	      @NONV3SG
	      @PRESFUT.

gives 	  V * @(DITRANS give)
	      @V3SG
	      @PRES.

given 	  V * @(DITRANS give)
	      @PAST.

load 	  V * @(SPRAYLOAD load)
	      @NONV3SG
	      @PRESFUT.

loads 	  V * @(SPRAYLOAD load)
	      @V3SG
	      @PRES.

loaded 	  V * @(SPRAYLOAD load)
	      @PAST.

spray 	  V * @(SPRAYLOAD spray)
	      @NONV3SG
	      @PRESFUT.

sprays 	  V * @(SPRAYLOAD spray)
	      @V3SG
	      @PRES.

sprayed   V * @(SPRAYLOAD spray)
	      @PAST.

will 	  AUX * (^ TENSE) = future.

have 	  AUX * (^ TENSE) = past.

was 	  AUX * (^ TENSE) = past
		(^ PASSIVE) = +.

a 	  DET * (^ DEF) = -.

the 	  DET * (^ DET) = +.	      
	      
 . 	  PERIOD * .

I	  PRON * @(PERSPRON I 1 sg).

you 	  PRON * { @(PERSPRON you 2 sg)
		  |@(PERSPRON you 2 pl)}.

he 	  PRON * @(PERSPRON he 3 sg)
		 (^ GEND) = masc.

she	  PRON * @(PERSPRON she 3 sg)
		 (^ GEND) = fem.

it 	  PRON * { @(PERSPRON it 3 sg)
		   (^ GEND) = neut
		  |(^ PRON-FORM) = it}.

we	  PRON * @(PERSPRON we 1 pl).

they	  PRON * @(PERSPRON they 3 pl).

my	  POSS * @(POSSPRON I 1 sg).

your 	  POSS * { @(POSSPRON you 2 sg)
		  |@(POSSPRON you 2 pl)}.

his	  POSS * @(POSSPRON he 3 sg)
		 (^ GEND) = masc.

her	  POSS * @(POSSPRON she 3 sg)
		 (^ GEND) = fem.

its	  POSS * @(POSSPRON it 3 sg)
		 (^ GEND) = neut.

our	  POSS * @(POSSPRON we 1 pl).

their	  POSS * @(POSSPRON they 3 pl).

in 	  P * @(PREPSEM in)
	      (^ PSEM) = loc.

with 	  P * @(PREPSEM with)
	      (^ PSEM) = com.

onto 	  P * @(PREPSEM onto)
	      (^ PSEM) = dir.

to	  P * @(PREPNOSEM to).

by 	  P * @(PREPNOSEM by).

small 	  A * @(ADJ small).

big 	  A * @(ADJ big).

----