;;; -*- Mode: Lisp; Syntax: Common-Lisp; Base: 10 -*- 

;;; GRAMMAR DATA FILE

; Name: GPSG1  Type: GPSG

(add-rule-set 'GPSGNEW 'GPSG)
(add-rule-list 'GPSGNEW
  '((ROOT ==> (S GAP -))
	((S GAP ?G) ==> (NP PL ?P GAP -) (VBP PL ?P GAP ?G))        ; statement
	((S GAP ?G) ==> COMP (NP PL ?P GAP ?G) (VBP PL ?P GAP -))   ; statement
	((S GAP -) ==> NP+wh AV NP (VBP PL + TENSE P FORM N GAP +)) ; question sentence (did)
	((S GAP -) ==> (NP+wh PL ?P GAP -) (VBP PL ?P GAP -))       ; question
	((S GAP -) ==> (NP PL ?P GAP -) (SBAR GAP +) (VBP PL ?P GAP -)) ; relativization

	((VBP PL ?P GAP ?G) ==> (VP PL ?P FORM N GAP ?G))   ; normal verb

	; sentences with auxiliary verbs
	((VBP GAP ?G) ==> HC (VP TENSE P FORM N PL + GAP ?G)) ; may vb (present)
	((VBP GAP ?G) ==> HD (VP TENSE D GAP ?G))             ; has vb (past)
	((VBP GAP ?G) ==> HC HCP (VP TENSE D GAP ?G))         ; may have vb (past)
	((VBP GAP ?G) ==> HG (VP FORM G GAP ?G))              ; is vb (gerund)
	((VBP GAP ?G) ==> HC HCG (VP FORM G GAP ?G))          ; may be vb (gerund)
	((VBP GAP ?G) ==> HC HCP HDG (VP FORM G GAP ?G))      ; may have been vb (gerund)
	((VBP GAP ?G) ==> HD HDG (VP FORM G GAP ?G))          ; has been solving (gerund)

	; zero-argument verb
	((VP PL ?P FORM ?F TENSE ?T GAP -) ==> (V0 PL ?P FORM ?F TENSE ?T))

	; one-argument verb
	((VP PL ?P FORM ?F TENSE ?T GAP ?G) ==> (V1 PL ?P FORM ?F TENSE ?T) (NP GAP ?G))

	; two-argument verb
	((VP PL ?P FORM ?F TENSE ?T GAP -) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP -) )
	((VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP +) (PP GAP -) )
	((VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) )

	; sentence-argument verb
	((VP PL ?P FORM ?F TENSE ?T GAP ?G) ==> (VS PL ?P FORM ?F TENSE ?T) (SBAR GAP ?G))

	; noun + sentence argument verb
	((VP PL ?P FORM ?F TENSE ?T GAP ?G) ==> (V1S PL ?P FORM ?F TENSE ?T)
	 (NP GAP -) P (VP GAP ?G TENSE P PL + FORM N))

	; preposition phrase
	((PP PL ?P GAP ?G) ==> P (NP PL ?P GAP ?G))

	; noun phrase
	((NP PL ?P GAP -) ==> DET (N PL ?P))
	((NP PL ?P GAP -) ==> (NN PL ?P))
	((NP GAP -) ==> ADJ)
	((NP GAP +) ==> EMPTY)
	(EMPTY ==> )
	((NP+wh PL ?P) ==> WDET (N PL ?P))

	; sentence with optional preceding complementizer
	((SBAR GAP ?G) ==> COMP (S GAP ?G))
	((SBAR GAP ?G) ==> (S GAP ?G))
    ))

; Name: DICT2  Type: DICTIONARY

(add-rule-set 'DICT2 'DICTIONARY)
(add-rule-list 'DICT2
  '((MAN (N PL -))
    (MEN (N PL +))
    (WOMAN (N PL -))
    (WOMEN (N PL +))
    (SHEEP N)
	(CASE (N PL -))
	(CASES (N PL +))
	(GUN (N PL -))
	(GUNS (N PL +))
	(SOLUTION (N PL -))
	(SOLUTIONS (N PL +))
	(POLICE (N PL -))
	(POLICES (N PL +))
	(DETECTIVE (N PL -))
	(DETECTIVES (N PL +))
	(WHO (NN PL -))
	(POIROT (NN PL -))
	
	(INCOMPETENT (ADJ))

	; zero argument verbs
	(THINK (V0 PL + TENSE P FORM N))
	(THINKS (V0 PL - TENSE P FORM N))
	(THINKING (V0 TENSE P FORM G))
	(THOUGHT (V0 TENSE D FORM N))

	; one argument verbs
	(SOLVE (V1 PL + TENSE P FORM N))
	(SOLVES (V1 PL - TENSE P FORM N))
	(SOLVING (V1 TENSE P FORM G))
	(SOLVED (V1 TENSE D FORM N))

	(LOSE (V1 PL + TENSE P FORM N))
	(LOSES (V1 PL - TENSE P FORM N))
	(LOSING (V1 TENSE P FORM G))
	(LOST (V1 TENSE D FORM N))

	(IS (V1 PL - TENSE P FORM N))
	(ARE (V1 PL + TENSE P FORM N))
	(WERE (V1 PL + TENSE D FORM N))
	(WAS (V1 PL - TENSE D FORM N))

	; two argument verbs
	(SEND (V2 PL + TENSE P FORM N))
	(SENDS (V2 PL - TENSE P FORM N))
	(SENDING (V2 TENSE P FORM G))
	(SENT (V2 TENSE D FORM N))

	; sentence argument verbs
	(BELIEVE (VS PL + TENSE P FORM N))
	(BELIEVES (VS PL - TENSE P FORM N))
	(BELIEVING (VS TENSE P FORM G))
	(BELIEVED (VS TENSE D FORM N))

	; noun + sentence argument verbs
	(TELL (V1S PL + TENSE P FORM N))
	(TELLS (V1S PL - TENSE P FORM N))
	(TELLING (V1S TENSE P FORM G))
	(TOLD (V1S TENSE D FORM N))
	
	; prepositions
	(TO P)

	; determiners
	(THE DET)
	(A DET)
	(THEIR DET)
	(WHICH WDET)

	(THAT COMP)

	(DID AV)

	(HAS HD)
	(IS HG)
	(BEEN HDG)
	(MAY HC)
	(WOULD HC)
	(HAVE HCP)
	(BE HCG)	
    ))

; Name: SENT2-GPSG  Type: SENTENCES

(add-rule-set 'SENT2-GPSG 'SENTENCES)
(add-rule-list 'SENT2-GPSG
	'((Poirot solved the case)
	  (The detectives lost their guns)
	  (Poirot thought)
	  (Poirot sent the solution to the police)
	  (Poirot believed the detectives were incompetent)
	  (Poirot believed that the detectives were incompetent)))