> (load "testcases3")
;; Loading file /afs/athena.mit.edu/user/b/a/bartem/6.863/lab3/testcases3.lisp ...
Done CFG Parse.
Done Parse Retrieval
Section 1:
----------


Trying :
(POIROT SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((NP*) POIROT)) (VP (VP-OTHER ((V-OTHER-T1) SOLVED) (NP ((DET) THE) ((N) CASE)))))))

Trying :
(THE DETECTIVES LOST THEIR GUNS)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((DET) THE) ((N) DETECTIVES)) (VP (VP-OTHER ((V-OTHER-T1) LOST) (NP ((POS) THEIR) ((N) GUNS)))))))

Trying :
(POIROT THOUGHT)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((NP*) POIROT)) (VP (VP-OTHER ((V-OTHER-T0) THOUGHT))))))

Trying :
(POIROT SENT THE SOLUTION TO THE POLICE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((NP*) POIROT)) (VP (VP-OTHER ((V-OTHER-T2) SENT) (NP ((DET) THE) ((N) SOLUTION)) (PP ((P) TO) (NP ((DET) THE) ((N) POLICE))))))))

Trying :
(POIROT BELIEVED THE DETECTIVES WERE INCOMPETENT)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((NP*) POIROT)) (VP (VP-OTHER ((V-OTHER-TSBAR) BELIEVED) (SBAR (S (NP ((DET) THE) ((N) DETECTIVES)) (VP (VP-OTHER ((V-OTHER-T1) WERE) ((A) INCOMPETENT))))))))))

Trying :
(POIROT BELIEVED THAT THE DETECTIVES WERE INCOMPETENT)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((NP*) POIROT)) (VP (VP-OTHER ((V-OTHER-TSBAR) BELIEVED) (SBAR ((COMP) THAT) (S (NP ((DET) THE) ((N) DETECTIVES)) (VP (VP-OTHER ((V-OTHER-T1) WERE) ((A) INCOMPETENT))))))))))

Trying :
(POIROT SOLVED)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(POIROT THOUGHT THE GUN)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(POIROT SENT TO THE POLICE)
Done CFG Parse.
Done Parse Retrieval
NIL

Section 2:
----------


Trying :
(POIROT MAY SOLVE THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((NP*) POIROT)) (VP ((AUX1) MAY) (VP2 (VP-INF ((V-INF-T1) SOLVE) (NP ((DET) THE) ((N) CASE))))))))

Trying :
(POIROT HAS SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((NP*) POIROT)) (VP ((HAVE-AUX) HAS) (VP-PRT ((V-PRT-T1) SOLVED) (NP ((DET) THE) ((N) CASE)))))))

Trying :
(POIROT MAY HAVE SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((NP*) POIROT)) (VP ((AUX1) MAY) (VP2 ((HAVE-AUX-2) HAVE) (VP-PRT ((V-PRT-T1) SOLVED) (NP ((DET) THE) ((N) CASE))))))))

Trying :
(POIROT IS SOLVING THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((NP*) POIROT)) (VP ((BE-AUX) IS) (VP-ING ((V-ING-T1) SOLVING) (NP ((DET) THE) ((N) CASE)))))))

Trying :
(POIROT MAY BE SOLVING THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((NP*) POIROT)) (VP ((AUX1) MAY) (VP2 ((INF-BE) BE) (VP-ING ((V-ING-T1) SOLVING) (NP ((DET) THE) ((N) CASE))))))))

Trying :
(POIROT MAY HAVE BEEN SOLVING THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((NP*) POIROT)) (VP ((AUX1) MAY) (VP2 ((HAVE-AUX-2) HAVE) (VP-PRT ((BEEN) BEEN) (VP-ING ((V-ING-T1) SOLVING) (NP ((DET) THE) ((N) CASE)))))))))

Trying :
(POIROT HAS BEEN SOLVING THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((NP*) POIROT)) (VP ((HAVE-AUX) HAS) (VP-PRT ((BEEN) BEEN) (VP-ING ((V-ING-T1) SOLVING) (NP ((DET) THE) ((N) CASE))))))))

Trying :
(POIROT MAY SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(POIROT HAS SOLVE THE CASE)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(POIROT HAVE MAY SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(POIROT IS SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(POIROT MAY HAVE SOLVING THE CASE)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(POIROT MAY BE HAVE SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(POIROT HAS SOLVING THE CASE)
Done CFG Parse.
Done Parse Retrieval
NIL

Section 3:
----------


Trying :
(WHICH CASE DID POIROT SOLVE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (Q (WH-NP ((WH) WHICH) ((N) CASE)) (S/NP ((DID) DID) (NP ((NP*) POIROT)) (VP-INF/NP ((V-INF-T1) SOLVE) (NP/NP)))))))

Trying :
(WHO SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (Q (WH-NP ((WH) WHO)) (S/NP (NP/NP) (VP (VP-OTHER ((V-OTHER-T1) SOLVED) (NP ((DET) THE) ((N) CASE)))))))))

Trying :
(WHICH SOLUTION DID POIROT SEND TO THE POLICE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (Q (WH-NP ((WH) WHICH) ((N) SOLUTION)) (S/NP ((DID) DID) (NP ((NP*) POIROT)) (VP-INF/NP ((V-INF-T2) SEND) (NP/NP) (PP ((P) TO) (NP ((DET) THE) ((N) POLICE)))))))))

Trying :
(WHICH DETECTIVES SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (Q (WH-NP ((WH) WHICH) ((N) DETECTIVES)) (S/NP (NP/NP) (VP (VP-OTHER ((V-OTHER-T1) SOLVED) (NP ((DET) THE) ((N) CASE)))))))))

Trying :
(WHICH CASE DID POIROT TELL THE DETECTIVES TO SOLVE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (Q (WH-NP ((WH) WHICH) ((N) CASE)) (S/NP ((DID) DID) (NP ((NP*) POIROT)) (VP-INF/NP ((TELL-INF) TELL) (NP ((DET) THE) ((N) DETECTIVES)) (SBAR/NP (VP-INF/NP (VP-TO ((P) TO) ((V-INF-T1) SOLVE)) (NP/NP)))))))))

Trying :
(WHICH SOLUTION DID POIROT BELIEVE THE DETECTIVES WOULD SEND TO THE POLICE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (Q (WH-NP ((WH) WHICH) ((N) SOLUTION)) (S/NP ((DID) DID) (NP ((NP*) POIROT)) (VP-INF/NP ((V-INF-TSBAR) BELIEVE) (SBAR/NP (SREL-WITHOUT-COMP/NP (NP ((DET) THE) ((N) DETECTIVES)) (VP/NP ((AUX1) WOULD) (VP-INF/NP ((V-INF-T2) SEND) (NP/NP) (PP ((P) TO) (NP ((DET) THE) ((N) POLICE)))))))))))))

Trying :
(THE SOLUTION THAT POIROT SENT TO THE POLICE SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((DET) THE) ((N) SOLUTION) (SBAR/NP ((COMP) THAT) (SREL/NP (NP ((NP*) POIROT)) (VP/NP (VP-OTHER/NP ((V-OTHER-T2) SENT) (NP/NP) (PP ((P) TO) (NP ((DET) THE) ((N) POLICE)))))))) (VP (VP-OTHER ((V-OTHER-T1) SOLVED) (NP ((DET) THE) ((N) CASE)))))))

Trying :
(THE DETECTIVE THAT SENT THE SOLUTION TO THE POLICE SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((DET) THE) ((N) DETECTIVE) (SBAR/NP ((COMP) THAT) (SREL/NP (NP/NP) (VP (VP-OTHER ((V-OTHER-T2) SENT) (NP ((DET) THE) ((N) SOLUTION)) (PP ((P) TO) (NP ((DET) THE) ((N) POLICE)))))))) (VP (VP-OTHER ((V-OTHER-T1) SOLVED) (NP ((DET) THE) ((N) CASE)))))))

Trying :
(THE DETECTIVE THAT THE POLICE SENT THE SOLUTION TO SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((DET) THE) ((N) DETECTIVE) (SBAR/NP ((COMP) THAT) (SREL/NP (NP ((DET) THE) ((N) POLICE)) (VP/NP (VP-OTHER/NP ((V-OTHER-T2) SENT) (NP ((DET) THE) ((N) SOLUTION)) (PP/NP ((P) TO) (NP/NP))))))) (VP (VP-OTHER ((V-OTHER-T1) SOLVED) (NP ((DET) THE) ((N) CASE)))))))

Trying :
(THE SOLUTION THAT POIROT MAY HAVE SENT TO THE POLICE SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((DET) THE) ((N) SOLUTION) (SBAR/NP ((COMP) THAT) (SREL/NP (NP ((NP*) POIROT)) (VP/NP ((AUX1) MAY) (VP-INF/NP ((HAVE-AUX) HAVE) (VP-PRT/NP ((V-PRT-T2) SENT) (NP/NP) (PP ((P) TO) (NP ((DET) THE) ((N) POLICE))))))))) (VP (VP-OTHER ((V-OTHER-T1) SOLVED) (NP ((DET) THE) ((N) CASE)))))))

Trying :
(THE SOLUTION POIROT SENT TO THE POLICE SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP ((DET) THE) ((N) SOLUTION) (SBAR/NP (SREL-WITHOUT-COMP/NP (NP ((NP*) POIROT)) (VP/NP (VP-OTHER/NP ((V-OTHER-T2) SENT) (NP/NP) (PP ((P) TO) (NP ((DET) THE) ((N) POLICE)))))))) (VP (VP-OTHER ((V-OTHER-T1) SOLVED) (NP ((DET) THE) ((N) CASE)))))))

Trying :
(THE SOLUTION SOLVES THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP-SING ((DET) THE) ((N-SING) SOLUTION)) (VP-SING ((V-PRES-T1-SING) SOLVES) (NP ((DET) THE) ((N) CASE))))))

Trying :
(THE SOLUTIONS SOLVE THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP-PLUR ((DET) THE) ((N-PLUR) SOLUTIONS)) (VP-PLUR ((V-PRES-T1-PLUR) SOLVE) (NP ((DET) THE) ((N) CASE))))))

Trying :
(THE SOLUTION THAT POIROT SENT TO THE POLICE SOLVES THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP-SING ((DET) THE) ((N-SING) SOLUTION) (SBAR/NP ((COMP) THAT) (SREL/NP (NP ((NP*) POIROT)) (VP/NP (VP-OTHER/NP ((V-OTHER-T2) SENT) (NP/NP) (PP ((P) TO) (NP ((DET) THE) ((N) POLICE)))))))) (VP-SING ((V-PRES-T1-SING) SOLVES) (NP ((DET) THE) ((N) CASE))))))

Trying :
(THE SOLUTIONS THAT POIROT SENT TO THE POLICE SOLVE THE CASE)
Done CFG Parse.
Done Parse Retrieval
((ROOT (S (NP-PLUR ((DET) THE) ((N-PLUR) SOLUTIONS) (SBAR/NP ((COMP) THAT) (SREL/NP (NP ((NP*) POIROT)) (VP/NP (VP-OTHER/NP ((V-OTHER-T2) SENT) (NP/NP) (PP ((P) TO) (NP ((DET) THE) ((N) POLICE)))))))) (VP-PLUR ((V-PRES-T1-PLUR) SOLVE) (NP ((DET) THE) ((N) CASE))))))

Trying :
(THE SOLUTION SOLVE THE CASE)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(THE SOLUTIONS SOLVES THE CASE)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(THE SOLUTION THAT POIROT SENT TO THE POLICE SOLVE THE CASE)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(THE SOLUTIONS THAT POIROT SENT TO THE POLICE SOLVES THE CASE)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(WHICH SOLUTION DID POIROT SEND THE GUN TO THE POLICE)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(WHO SOLVED)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(DID POIROT SEND WHICH SOLUTION TO THE POLICE)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(THE SOLUTION THAT POIROT MAY HAVE SENT THE GUN TO THE POLICE SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
NIL

Trying :
(THE DETECTIVE SENT THE SOLUTION TO THE POLICE SOLVED THE CASE)
Done CFG Parse.
Done Parse Retrieval
NIL
;; Loading of file /afs/athena.mit.edu/user/b/a/bartem/6.863/lab3/testcases3.lisp is finished.
T
>