; Name: CFGNEW2  Type: CFGNEW

(add-rule-set 'CFGNEW2 'CFG)
(add-rule-list 'CFGNEW2
  '((NP ==> NP*)
    (S ==> S PP)
    (S ==> NP VP)
    (VP ==> VP PP)
    (VP ==> V NP)
    (VP ==> V)
    (VP ==> V-NP NP)
    (VP ==> V2 NP PP)
    (V-NP ==> V-PAST-NP)
    (V-NP ==> V-PRESENT-NP)
    (V-NP ==> V-GEN-NP)
    (VP ==> VP-WITH-AUX)
    
    (VP-WITH-AUX ==> MAY V-PRESENT-NP NP)
    (VP-WITH-AUX ==> HAS V-PAST-NP NP)
    (VP-WITH-AUX ==> MAY HAVE V-PAST-NP NP)

    (VP-WITH-AUX ==> IS V-GEN-NP NP)
    (VP-WITH-AUX ==> MAY BE V-GEN-NP NP)
    (VP-WITH-AUX ==> MAY HAVE BEEN V-GEN-NP NP)
    (VP-WITH-AUX ==> HAS BEEN V-GEN-NP NP)
    


    (SBAR ==> COMP S)
    (SBAR ==> S)
    (VP ==> V-SENTENCE SBAR)
    (VP ==> V-SENTENCE)
    (PP ==> P PP)
    (PP ==> P NP)
    (NP ==> NP PP)
    (NP ==> DET N)
    (NP ==> N)
    (ROOT ==> NP)
    (ROOT ==> S)
    ))


; Name: DICT1  Type: DICTIONARY

(add-rule-set 'DICT1 'DICTIONARY)
(add-rule-list 'DICT1
  '((TALK N)
    (TIMBUCTOU NP*)
    (ISTANBUL NP*)
    (SHOT N)
    (SHOT V)
    (WALK N)
    (THREW V)
    (TALKED V)
    (TALK V)
    (WALKED V)
    (WALK V)
    (GIRL N)
    (BOY N)
    (CAR N)
    (HOUSE N)
    (STORE N)
    (STREET N)
    (TREE N)
    (WOMAN N)
    (MAN N)
    (CAT N)
    (DOG N)
    (INTO P)
    (ABOVE P)
    (TO P)
    (IN P)
    (UP P)
    (OF P)
    (FROM P)
    (THE DET)
    (AN DET)
    (A DET)
    (WORCESTER NP*)
    (POIROT N)
    (SOLVED V-PAST-NP)
    (CASE N)
    (THOUGHT V-SENTENCE)
    (DETECTIVES N)
    (GUNS N)
    (GUN N)
    (LOST V)
    (THEIR DET)
    (SOLUTION N)
    (POLICE N)
    (SENT V2)
    (BELIEVED V-SENTENCE)
    (WERE V)
    (INCOMPETENT N)
    (THAT COMP)
    (MAY MAY)
    (HAVE HAVE)
    (HAS HAS)
    (IS IS)
    (BEEN BEEN)
    (BE BE)
    (SOLVING V-GEN-NP)
    (SOLVE V-PRESENT-NP)
    ))
(remove-rule-set 'ctnew2)
(create-cfg-table 'ctnew2 'cfgnew2 'root 1)

(p '(a man walked up the tree) :GRAMMAR 'ctnew2 :DICTIONARY 'DICT1)