; Name: GPSG4  Type: GPSG

(add-rule-set 'GPSG4 'GPSG)
(add-rule-list 
 'GPSG4   
 '(
   (ROOT ==> (SBAR CMP NONE))                                      ;; regular sentences (no comp)
   (ROOT ==> (SBAR CMP WH))                                        ;; questions (with comp of type WH)

   ((SBAR CMP NONE) ==> (COMP CMP NONE) S)                        ;; sbar w/out a comp
   ((SBAR CMP NOT-WH) ==> (COMP CMP NOT-WH) S)                    ;; sbar with a comp that is not a wh comp
   ((SBAR CMP NOT-WH) ==> (COMP CMP NONE) (S / NP))               ;; sbar/np with no comp
   ((SBAR CMP WH) ==> (COMP CMP WH PL ?A) (S PL ?A / NP))         ;; question
   ((SBAR CMP REL) ==> (COMP CMP NONE) (S PL ?A / (NP CMP NOT-WH TYPE OBJECT)))    ;; relative comp

   ((S PL ?A) ==> (NP PL ?A CMP NOT-WH TYPE SUBJECT) (VP PL ?A))   
   ((S PL ?A) ==> (AUX PL ?A FORM ?B VERB ?C) (NP PL ?A CMP NOT-WH TYPE SUBJECT) (VP FORM ?C))
   
   ((COMP CMP NONE) ==> )
   ((COMP CMP NOT-WH) ==> C)                         ;; that
   ((COMP CMP WH PL ?A) ==> (NP PL ?A CMP WH))

   ((NP CMP NOT-WH PL ?A) ==> (NP* PL ?A))   
   ((NP CMP NOT-WH PL ?A) ==> DET (N PL ?A))
   ((NP CMP NOT-WH PL ?A) ==> POS (N PL ?A))
   ((NP CMP NOT-WH TYPE SUBJECT PL ?A) ==> (NP CMP NOT-WH PL ?A) (SBAR CMP WH)) 
   ((NP CMP NOT-WH TYPE SUBJECT PL ?A) ==> (NP CMP NOT-WH PL ?A) (SBAR CMP REL))
   ((NP CMP WH PL ?A) ==> COMP-WHICH (N PL ?A))                    ;; which noun phrase
   ((NP CMP WH PL ?A) ==> (COMP-SUBJECT PL ?A))                            ;; complementizer that replaces the subject of sbar
   ((NP CMP NOT-WH TYPE SUBJECT / (NP CMP NOT-WH TYPE SUBJECT)) ==> )
   ((NP CMP NOT-WH TYPE OBJECT / (NP CMP NOT-WH TYPE OBJECT)) ==> )
   
   ((VP FORM PRES PL ?A) ==> (V FORM PRES PL ?A PARAMS ?B) (PARP PARAMS ?B))
   ((VP FORM PAST PL ?A) ==> (V FORM PAST PL ?A PARAMS ?B) (PARP PARAMS ?B))
   ((VP FORM INF) ==> TO (V FORM PRES PL + PARAMS ?B) (PARP PARAMS ?B))
   ((VP FORM ?B PL ?A) ==> (AUX FORM ?B PL ?A VERB ?C) (V FORM ?C PARAMS ?P) (PARP PARAMS ?P))
   ;; parameter phrases
   ((PARP PARAMS NP-NP) ==> (NP TYPE OBJECT CMP NOT-WH) (NP TYPE OBJECT CMP NOT-WH))
   ((PARP PARAMS NP-PP) ==> (NP TYPE OBJECT CMP NOT-WH) PP)
   ((PARP PARAMS NP-SBAR) ==> (NP TYPE OBJECT CMP NOT-WH) (SBAR CMP NOT-WH))
   ((PARP PARAMS ADJ) ==> A)
   ((PARP PARAMS SBAR) ==> SBAR)
   ((PARP PARAMS NP) ==> (NP TYPE OBJECT CMP NOT-WH))
   ((PARP PARAMS NONE) ==> )  
   ; prep phrases
   (PP ==> P PP)                          
   (PP ==> P (NP CMP NOT-WH TYPE OBJECT))
   ((AUX FORM ?B VERB ?C PL ?A) ==> (AUXILIARY FORM ?B VERB ?C PL ?A))                  
   ((AUX FORM ?B VERB ?C PL ?A) ==> (AUXILIARY FORM ?B VERB ?D) (AUX FORM ?D VERB ?C))      
   ))


(add-rule-set 'DICT4 'DICTIONARY)
(add-rule-list 
 'DICT4
 '(
   (BE (AUXILIARY FORM PRES PL + VERB ING))
   (BEEN (AUXILIARY FORM PRT VERB ING))
   (BELIEVE (V FORM PRES PL + PARAMS SBAR))
   (BELIEVED (V FORM PAST PARAMS SBAR))
   (BELIEVED (V FORM PRT PARAMS SBAR))
   (CASE (N PL -))
   (DETECTIVE (N PL -))
   (DETECTIVES (N PL +))
   (DID (AUXILIARY FORM PAST VERB PRES))   
   (DO (AUXILIARY FORM PRES PL + VERB PRES))
   (GUN (N PL -))
   (GUNS (N PL +))
   (HAS (AUXILIARY FORM PRES PL - VERB PRT))
   (HAVE (AUXILIARY FORM PRES PL + VERB PRT))
   (INCOMPETENT A)
   (IS (AUXILIARY FORM PRES PL - VERB ING))   
   (LOST (V FORM PAST PARAMS NP))
   (LOST (V FORM PRT PARAMS NP))   
   (MAY (AUXILIARY FORM PRES VERB PRES))
   (POIROT NP*)
   (POLICE (N PL +))
   (SEND (V FORM PRES PL + PARAMS NP-NP))
   (SEND (V FORM PRES PL + PARAMS NP-PP)) 
   (SENT (V FORM PAST PARAMS NP-NP))
   (SENT (V FORM PAST PARAMS NP-PP))
   (SENT (V FORM PRT PARAMS NP-NP))
   (SENT (V FORM PRT PARAMS NP-PP))   
   (SOLUTION (N PL -))
   (SOLUTIONS (N PL +))
   (SOLVE (V FORM PRES PL + PARAMS NP))
   (SOLVED (V FORM PAST PARAMS NP))
   (SOLVED (V FORM PRT PARAMS NP)) 
   (SOLVES (V FORM PRES PL - PARAMS NP))
   (SOLVING (V FORM ING PARAMS NP))
   (TELL (V FORM PRES PL + PARAMS NP-SBAR))
   (THAT C)
   (THAT COMP-SUBJECT)
   (THE DET)
   (THEIR POS)
   (THOUGHT (V FORM PAST PARAMS NONE))
   (THOUGHT (V FORM PAST PARAMS SBAR))
   (THOUGHT (V FORM PRT PARAMS NONE))
   (THOUGHT (V FORM PRT PARAMS SBAR))
   (TO P)
   (TO TO)
   (TOLD (V FORM PAST PARAMS NP-SBAR))
   (TOLD (V FORM PRT PARAMS NP-SBAR))   
   (WERE (V FORM PAST PL + PARAMS ADJ))
   (WHICH COMP-WHICH)
   (WHO COMP-SUBJECT)
   (WILL (AUXILIARY FORM FUT VERB PRES))
   (WOULD (AUXILIARY FORM PAST-FUT VERB PRES))  
   ))
(remove-rule-set 'ct4)
(create-gpsg-table 'ct4 'gpsg4 'root 1)