;;; -*- Mode: Lisp; Syntax: Common-Lisp; Base: 10 -*- ;;; GRAMMAR DATA FILE ;; PART 3 ADDITIONS ARE AT THE END OF THE GRAMMAR RULE-SET ; Name: CFG3 Type: CFG (add-rule-set 'CFG3 'CFG) (add-rule-list 'CFG3 '((NP ==> NP*) (S ==> S PP) (S ==> NP VP) (S ==> Q) ;; questions (VP ==> AUX1 VP2) ;; may/can/might e.t.c. (VP ==> VP-OTHER) ;; without may/can/might e.t.c. (VP ==> HAVE-AUX VP-PRT) ;; for have/has ..ed (VP ==> BE-AUX VP-ING) ;; for am/is/are/was/were ...ing (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) ;; PART III additions (Q ==> WH-NP S/NP) ;; a question is a wh+ noun phrase and a sentence with one missing NP(S/NP) (S/NP ==> AUX1 NP VP-INF/NP) ;; an S/NP can be a may/would/can e.t.c (AUX1), a NP and a ;; VP-INF with one NP missing(VP-INF/NP) (S/NP ==> DID NP VP-INF/NP) ;; an S/NP can be a did(DID), a noun phrase and a VP-INF/NP (S/NP ==> HAVE-AUX NP VP-PRT/NP) ;; an S/NP can be a have/hase(HAVE-AUX),a NP and a VP-PRT ;; with one NP missing (VP-PRT/NP) (S/NP ==> NP/NP VP) ;; an S/NP can be an NP with one NP missing and a VP (VP-INF/NP ==> V-INF-T1 NP/NP) (VP-INF/NP ==> V-INF-T2 NP/NP PP) (VP-INF/NP ==> V-INF-T2 NP PP/NP) (VP-INF/NP ==> VP-TO NP/NP) (VP-INF/NP ==> TELL-INF NP SBAR/NP) (VP-INF/NP ==> V-INF-TSBAR SBAR/NP) (VP-INF/NP ==> HAVE-AUX VP-PRT/NP) (VP-PRT/NP ==> V-PRT-T1 NP/NP) (VP-PRT/NP ==> V-PRT-T2 NP/NP PP) (VP-PRT/NP ==> V-PRT-T2 NP PP/NP) (VP-TO ==> P V-INF-T0) (VP-TO ==> P V-INF-T1) (VP/NP ==> AUX1 VP-INF/NP) (VP/NP ==> VP-OTHER/NP) (VP-OTHER/NP ==> V-OTHER-T1 NP/NP) (VP-OTHER/NP ==> V-OTHER-T2 NP/NP PP) (VP-OTHER/NP ==> V-OTHER-T2 NP PP/NP) (WH-NP ==> WH N) (WH-NP ==> WH) (NP/NP ==> ) (PP/NP ==> P NP/NP) ;; relativization (NP ==> DET N SBAR/NP) (SBAR/NP ==> VP-INF/NP) (SBAR/NP ==> COMP SREL/NP) (SBAR/NP ==> SREL-WITHOUT-COMP/NP) (SREL/NP ==> NP/NP VP) (SREL/NP ==> NP VP/NP) (SREL-WITHOUT-COMP/NP ==> NP VP/NP) ;; subject must exist if 'that' is ommitted ;; agreement (S ==> NP-SING VP-SING) (S ==> NP-PLUR VP-PLUR) (NP-SING ==> DET N-SING) (NP-PLUR ==> DET N-PLUR) (NP-SING ==> DET N-SING SBAR/NP) (NP-PLUR ==> DET N-PLUR SBAR/NP) (VP-SING ==> V-PRES-T1-SING NP) (VP-PLUR ==> V-PRES-T1-PLUR NP) )) ; Name: DICT3 Type: DICTIONARY (add-rule-set 'DICT3 'DICTIONARY) (add-rule-list 'DICT3 '( (POIROT NP*) (SOLVED V-PRT-T1) (SOLVED V-OTHER-T1) (SOLVE V-INF-T1) (SOLVING V-ING-T1) (SOLVES V-PRES-T1-SING) (SOLVE V-PRES-T1-PLUR) (THE DET) (CASE N) (DETECTIVE N) (DETECTIVES N) (LOST V-PRT-T1) (LOST V-OTHER-T1) (THEIR POS) (GUNS N) (GUN 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) (SOLUTION N-SING) (SOLUTIONS N-PLUR) (TO P) (POLICE N) (BELIEVE V-INF-TSBAR) (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) (WHICH WH) (WHO WH) (DID DID) (WOULD AUX1) (TELL TELL-INF) (SEND V-INF-T2) (SOLUTION N) )) (remove-rule-set 'ct3) (create-cfg-table 'ct3 'cfg3 'root 1) ; Name: GPSG4 Type: GPSG ;; ;;(add-rule-set 'GPSG4 'GPSG) ;;(add-rule-list ;; 'GPSG4 ;; '((ROOT ==> S) ;; (NP ==> NP*) ;; (SBAR ==> COMP NP VP/NP) ;; (VP/NP ==> V-OTHER-T2 NP/NP PP) ;; (PP ==> P NP) ;; (NP/NP ==>) ;; ;; ;; Subject Verb Agreement ;; (S ==> (NP PL ?A) (VP PL ?A)) ;; ((VP PL ?B) ==> (V-PRES-T1 PL ?B) NP) ;; ((NP PL ?A) ==> DET (N PL ?A)) ;; ((NP PL ?A) ==> (NP PL ?A) SBAR) ;;;; )) ;;(add-rule-set 'DICT4 'DICTIONARY) ;;(add-rule-list ;; 'DICT4 ;; '((THE DET) ;; (SOLUTION (N PL -)) ;; (SOLUTIONS (N PL +)) ;; (CASE N) ;; (POIROT NP*) ;; (POLICE N) ;; (SENT V-OTHER-T2) ;; (TO P) ;; (THAT COMP) ;; (SOLVE (V-PRES-T1 PL +)) ;; (SOLVES (V-PRES-T1 PL -)))) ;;(remove-rule-set 'ct4) ;;(create-gpsg-table 'ct4 'gpsg4 'root 1)