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

;;; GRAMMAR DATA FILE


; Name: CFG2  Type: CFG

(add-rule-set 'CFG2 'CFG)
(add-rule-list 'CFG2
  '((NP ==> NP*)
    (S ==> S PP)
    (S ==> NP VP)
    (VP ==> AUX1 VP2) ;; may/can/might e.t.c. 
                      ;; VP2 is just a temporary name that represents
                      ;; a verb-phrase coming after may/can/might e.t.c..
    (VP ==> VP-OTHER)      ;; without may/can/might e.t.c., 
                           ;; other => present or past forms of verbs
    (VP ==> HAVE-AUX VP-PRT) ;; for have/has ..ed vp-prt => verb-phrase of a participle verb
    (VP ==> BE-AUX VP-ING) ;; for am/is/are/was/were ...ing  vp-ing-> verb phrase of an -ing form of verb
    (VP2 ==> INF-BE VP-ING) ;; for may/can/might be ..ing  
    (VP2 ==> HAVE-AUX-2 VP-PRT) ;; for may/can/might have ...ed
    (VP2 ==> VP-INF)  ;; stem forms of verbs
    (VP-PRT ==> BEEN VP-ING) ;;   ..ed -> been ..ing
    
    ;; for vp-ING
    
    (VP-ING ==> VP-ING PP)
    (VP-ING ==> V-ING-T1 NP)
    (VP-ING ==> V-ING-T2 NP PP)
    (VP-ING ==> V-ING-T2 NP NP)
    (VP-ING ==> V-ING-T0)
    (VP-ING ==> V-ING-T1 A)
    (VP-ING ==> V-ING-TSBAR SBAR)
    
    ;; for vp-PRT

    (VP-PRT ==> VP-PRT PP)
    (VP-PRT ==> V-PRT-T1 NP)
    (VP-PRT ==> V-PRT-T2 NP PP)
    (VP-PRT ==> V-PRT-T2 NP NP)
    (VP-PRT ==> V-PRT-T0)
    (VP-PRT ==> V-PRT-T1 A)
    (VP-PRT ==> V-PRT-TSBAR SBAR)
    
    ;; for vp-INF
    (VP-INF ==> VP-INF PP)
    (VP-INF ==> V-INF-T1 NP)
    (VP-INF ==> V-INF-T2 NP PP)
    (VP-INF ==> V-INF-T2 NP NP)
    (VP-INF ==> V-INF-T0)
    (VP-INF ==> V-INF-T1 A)
    (VP-INF ==> V-INF-TSBAR SBAR)

    ;; for vp-OTHER 
    (VP-OTHER ==> VP-OTHER PP)
    (VP-OTHER ==> V-OTHER-T1 NP)
    (VP-OTHER ==> V-OTHER-T2 NP PP)
    (VP-OTHER ==> V-OTHER-T2 NP NP)
    (VP-OTHER ==> V-OTHER-T0)
    (VP-OTHER ==> V-OTHER-T1 A)
    (VP-OTHER ==> V-OTHER-TSBAR SBAR)


    (SBAR ==> COMP S)
    (SBAR ==> S)
    (PP ==> P PP)
    (PP ==> P NP)
    (NP ==> NP PP)
    (NP ==> DET N)
    (NP ==> POS N)
    (ROOT ==> NP)
    (ROOT ==> S)
    ))

; Name: DICT2  Type: DICTIONARY

(add-rule-set 'DICT2 'DICTIONARY)
(add-rule-list 'DICT2
  '(
    (POIROT NP*)
    (SOLVED V-PRT-T1)
    (SOLVED V-OTHER-T1)
    (SOLVE V-INF-T1)
    (SOLVING V-ING-T1)
    (THE DET)
    (CASE N)
    (DETECTIVE N)
    (DETECTIVES N)
    (LOST V-PRT-T1)
    (LOST V-OTHER-T1)
    (THEIR POS)
    (GUNS N)
    (THOUGHT V-PRT-T0)
    (THOUGHT V-OTHER-T0)
    (THOUGHT V-PRT-TSBAR)
    (THOUGHT V-OTHER-TSBAR)
    (SENT V-PRT-T2)
    (SENT V-OTHER-T2)
    (SOLUTION N)
    (TO P)
    (POLICE N)
    (BELIEVED V-PRT-TSBAR)
    (BELIEVED V-OTHER-TSBAR)
    (THAT COMP)
    (WERE V-OTHER-T1)
    (WERE BE-AUX)
    (BE INF-BE)
    (BEEN VP-PRT-T1)
    (BEEN BEEN)
    (IS BE-AUX)
    (HAVE HAVE-AUX)
    (HAS HAVE-AUX)
    (HAVE HAVE-AUX-2)
    (MAY AUX1)
    (INCOMPETENT A)
    ))
(remove-rule-set 'ct2)
(create-cfg-table 'ct2 'cfg2 'root 1)