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

;;; GRAMMAR DATA FILE

; Name: SENT1  Type: SENTENCES

(add-rule-set 'SENT1 'SENTENCES)
(add-rule-list 'SENT1
               '((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)))

; Name: CFG3NEW  Type: CFG

(add-rule-set 'CFGNEW3 'CFG)
(add-rule-list 'CFGNEW3
  '((ROOT ==> S)

	; normal sentence rules
	(S ==> NP VPD)   ; any noun, past tense verb
	(S ==> NPS VPPS) ; singular noun, present singular verb
	(S ==> NPP VPP)  ; plural noun, present tense verb

	(S ==> AV NP VPP)
	(S ==> NP+wh AV NP VPP/NP)
	(S ==> NP+wh VP)

    ; relativization
	(S ==> NP SBAR/NP VPD) ; any noun, past tense
	(S ==> NPS SBAR/NP VPPS) ; singular noun, present singular tense
	(S ==> NPP SBAR/NP VPP) ; plural noun, present tense
	
	; sentences with noun phrase gaps
	(S/NP ==> NP VP/NP)
	(S/NP ==> COMP VP)

	(NP+wh ==> WDET NN)
	(NP+wh ==> WDET NNS)

	; regular verb phrases
	(VP ==> VPD)
	(VP ==> VPP)

	; verb phrases with helper verbs
	(VPPS ==> HG VPG)  ; is (gerund)
	(VPD ==> HD VPD)  ; has (past)
	(VPD ==> HD HDG VPG)  ; has been (gerund)
	(VPD ==> HC VPP)  ; conditional: may (present)
	(VPD ==> HC HCP VPD)  ; conditional past: may have (past)
	(VPD ==> HC HCG VPG)  ; conditional gerund: may be (gerund)
	(VPD ==> HC HCP HDG VPG)  ; conditional past gerund: may have been (gerund)

	; past tense
	(VPD ==> VD0)
	(VPD ==> VD1 NP)
	(VPD ==> VD2 NP PP)
	(VPD ==> VDS SBAR)

	; present tense
	(VPP ==> VP0)
	(VPP ==> VP1 NP)
	(VPP ==> VP2 NP PP)
	(VPP ==> VPS SBAR)
	(VPP ==> VPI1 NP TO VPP)  ; case for verbs like "tell"

	; present singular tense
	(VPPS ==> VS0)
	(VPPS ==> VS1 NP)
	(VPPS ==> VS2 NP PP)
	(VPPS ==> VSS SBAR)
	(VPPS ==> VSI1 NP TO VPP)

	; gerund form
	(VPG ==> VG0)
	(VPG ==> VG1 NP)
	(VPG ==> VG2 NP PP)
	(VPG ==> VGS SBAR)

	; regular verb phrases with a noun phrase gap
	(VP/NP ==> VPD/NP)
	(VP/NP ==> VPP/NP)

	; verb phrases with helper verbs, noun phrase gap 
	(VP/NP ==> HG VPG/NP)  ; is (gerund)
	(VP/NP ==> HD VPD/NP)  ; has (past)
	(VP/NP ==> HD HDG VPG/NP)  ; has been (gerund)
	(VP/NP ==> HC VPP/NP)  ; conditional: may (present)
	(VP/NP ==> HC HCP VPD/NP)  ; conditional past: may have (past)
	(VP/NP ==> HC HCG VPG/NP)  ; conditional gerund: may be (gerund)
	(VP/NP ==> HC HCP HDG VPG/NP)  ; conditional past gerund: may have been (gerund)

	; past tense noun gap
	(VPD/NP ==> VD1)
	(VPD/NP ==> VD2 PP)
	(VPD/NP ==> VD2 NP PP/NP)
	(VPD/NP ==> VDS SBAR/NP)

	; present tense noun gap
	(VPP/NP ==> VP1)
	(VPP/NP ==> VP2 PP)
	(VPP/NP ==> VP2 NP PP/NP)
	(VPP/NP ==> VPS SBAR/NP)
	(VPP/NP ==> VPI1 NP TO VPP/NP)  ; case for verbs like "tell"

	; gerund form noun gap
	(VPG/NP ==> VG1)
	(VPG/NP ==> VG2 PP)
	(VPG/NP ==> VG2 NP PP/NP)
	(VPG/NP ==> VGS SBAR/NP)

    (PP ==> P NP)
    (PP/NP ==> P )

	(NP ==> NPS)
	(NP ==> NPP)

    (NPS ==> DET NN)
	(NPS ==> NP*)
	(NPS ==> ADJ)

	(NPP ==> DET NNS)

	(SBAR ==> COMP S)
	(SBAR ==> S)

	(SBAR/NP ==> COMP S/NP)
	(SBAR/NP ==> S/NP)
    ))

; Name: DICT1  Type: DICTIONARY

(add-rule-set 'DICT1 'DICTIONARY)
(add-rule-list 'DICT1
  '(
    (INTO P)
    (ABOVE P)
    (TO P)
    (IN P)
    (UP P)
    (OF P)
    (FROM P)

    (THE DET)
    (AN DET)
    (A DET)
	(THEIR DET)

    (WALK NN)
	(TALK NN)
    (SHOT NN)
    (GIRL NN)
    (BOY NN)
    (CAR NN)
    (HOUSE NN)
    (STORE NN)
    (STREET NN)
    (TREE NN)
    (WOMAN NN)
    (MAN NN)
    (CAT NN)
    (DOG NN)
	(CASE NN)
	(GUN NN)
	(SOLUTION NN)
	(POLICE NN)
	(DETECTIVE NN)

    (WALKS NNS)
	(TALKS NNS)
    (GIRLS NNS)
    (BOYS NNS)
    (CARS NNS)
    (HOUSES NNS)
    (STORES NNS)
    (STREETS NNS)
    (TREES NNS)
    (WOMANS NNS)
    (MEN NNS)
    (CATS NNS)
    (DOGS NNS)
	(CASES NNS)
	(GUNS NNS)
	(SOLUTIONS NNS)
	(POLICE NNS)
	(DETECTIVES NNS)

	(WHO NP*)
    (WORCESTER NP*)
	(POIROT NP*)
    (TIMBUCTOU NP*)
    (ISTANBUL NP*)

	(INCOMPETENT ADJ)

	(THAT COMP)
	
	(TO TO)

	(DID AV)
	(WHICH WDET)

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

	(THINK VP0)
	(THINKS VS0)
	(THOUGHT VD0)
	(THINKING VG0)

	(LOSE VP1)
	(LOSES VS1)
	(LOST VD1)
	(LOSING VG1)

	(SOLVE VP1)
	(SOLVES VS1)
	(SOLVED VD1)
	(SOLVING VG1)

	(ARE VP1)
	(WERE VD1)

	(SEND VP2)
	(SENDS VS2)
	(SENT VD2)
	(SENDING VG2)

	(TELL VPI1)
	(TELLS VSI1)

	(BELIEVE VPS)
	(BELIEVES VSS)
	(BELIEVED VDS)
	(BELIEVING VDS)
    ))