> (p '(Poirot solved the case)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((V1 TENSE D FORM N) SOLVED) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(The detectives lost their guns)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL + GAP -) ((DET) THE) ((N PL +) DETECTIVES)) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((V1 TENSE D FORM N) LOST) ((NP PL + GAP -) ((DET) THEIR) ((N PL +) GUNS))))))) > (p '(Poirot thought)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((V0 TENSE D FORM N) THOUGHT)))))) > (p '(Poirot sent the solution to the police)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP +) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP PL - GAP -) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 TENSE D FORM N) (NP PL - GAP -) (PP PL - GAP -) Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((V2 TENSE D FORM N) SENT) ((NP PL - GAP -) ((DET) THE) ((N PL -) SOLUTION)) ((PP PL - GAP -) ((P) TO) ((NP PL - GAP -) ((DET) THE) ((N PL -) POLICE)))))))) > (p '(Poirot believed the detectives were incompetent)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((VS TENSE D FORM N) BELIEVED) ((SBAR GAP -) ((S GAP -) ((NP PL + GAP -) ((DET) THE) ((N PL +) DETECTIVES)) ((VBP PL + GAP -) ((VP PL + FORM N TENSE D GAP -) ((V1 PL + TENSE D FORM N) WERE) ((NP GAP -) ((ADJ) INCOMPETENT)))))))))))> (p '(Poirot believed that the detectives were incompetent)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((VS TENSE D FORM N) BELIEVED) ((SBAR GAP -) ((S GAP -) ((COMP) THAT) ((NP PL + GAP -) ((DET) THE) ((N PL +) DETECTIVES)) ((VBP PL + GAP -) ((VP PL + FORM N TENSE D GAP -) ((V1 PL + TENSE D FORM N) WERE) ((NP GAP -) ((ADJ) INCOMPETENT)))))))))) ((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((VS TENSE D FORM N) BELIEVED) ((SBAR GAP -) ((COMP) THAT) ((S GAP -) ((NP PL + GAP -) ((DET) THE) ((N PL +) DETECTIVES)) ((VBP PL + GAP -) ((VP PL + FORM N TENSE D GAP -) ((V1 PL + TENSE D FORM N) WERE) ((NP GAP -) ((ADJ) INCOMPETENT))))))))))) > (p '(Poirot may solve the case)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP -) ((HC) MAY) ((VP PL + FORM N TENSE P GAP -) ((V1 PL + TENSE P FORM N) SOLVE) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(Poirot has solved the case)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP -) ((HD) HAS) ((VP FORM N TENSE D GAP -) ((V1 TENSE D FORM N) SOLVED) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(Poirot may have solved the case)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP -) ((HC) MAY) ((HCP) HAVE) ((VP FORM N TENSE D GAP -) ((V1 TENSE D FORM N) SOLVED) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(Poirot is solving the case)) Done CFG Parse. Rule Failure: (VBP PL ?P GAP ?G) ==> (VP PL ?P FORM N GAP ?G) Sub Trees: (VP FORM G TENSE P GAP -) Rule Failure: (S GAP ?G) ==> (NP PL ?P GAP -) (VBP PL ?P GAP ?G) Sub Trees: (NP GAP +) (VBP PL - GAP +) Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP -) ((HG) IS) ((VP FORM G TENSE P GAP -) ((V1 TENSE P FORM G) SOLVING) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(Poirot may be solving the case)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP -) ((HC) MAY) ((HCG) BE) ((VP FORM G TENSE P GAP -) ((V1 TENSE P FORM G) SOLVING) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(Poirot may have been solving the case)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP -) ((HC) MAY) ((HCP) HAVE) ((HDG) BEEN) ((VP FORM G TENSE P GAP -) ((V1 TENSE P FORM G) SOLVING) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(Poirot has been solving the case)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP -) ((HD) HAS) ((HDG) BEEN) ((VP FORM G TENSE P GAP -) ((V1 TENSE P FORM G) SOLVING) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(Which case did Poirot solve)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP+WH PL -) ((WDET) WHICH) ((N PL -) CASE)) ((AV) DID) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP PL + GAP +) ((VP PL + FORM N TENSE P GAP +) ((V1 PL + TENSE P FORM N) SOLVE) ((NP GAP +) ((EMPTY)))))))) > (p '(Who solved the case)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((NN PL -) WHO)) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((V1 TENSE D FORM N) SOLVED) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(Which solution did Poirot send to the police)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP -) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP -) Sub Trees: (V2 PL + TENSE P FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 PL + TENSE P FORM N) (NP GAP +) (PP PL - GAP -) Done Parse Retrieval (((ROOT) ((S GAP -) ((NP+WH PL -) ((WDET) WHICH) ((N PL -) SOLUTION)) ((AV) DID) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP PL + GAP +) ((VP PL + FORM N TENSE P GAP +) ((V2 PL + TENSE P FORM N) SEND) ((NP GAP +) ((EMPTY))) ((PP PL - GAP -) ((P) TO) ((NP PL - GAP -) ((DET) THE) ((N PL -) POLICE)))))))) > (p '(Which detectives solved the case)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP+WH PL +) ((WDET) WHICH) ((N PL +) DETECTIVES)) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((V1 TENSE D FORM N) SOLVED) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(Which case did Poirot tell the detectives to solve)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP+WH PL -) ((WDET) WHICH) ((N PL -) CASE)) ((AV) DID) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP PL + GAP +) ((VP PL + FORM N TENSE P GAP +) ((V1S PL + TENSE P FORM N) TELL) ((NP PL + GAP -) ((DET) THE) ((N PL +) DETECTIVES)) ((P) TO) ((VP PL + FORM N TENSE P GAP +) ((V1 PL + TENSE P FORM N) SOLVE) ((NP GAP +) ((EMPTY))))))))) > (p '(Which solution did Poirot believe the detectives would send to the police) ) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP -) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP -) Sub Trees: (V2 PL + TENSE P FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 PL + TENSE P FORM N) (NP GAP +) (PP PL - GAP -) Done Parse Retrieval (((ROOT) ((S GAP -) ((NP+WH PL -) ((WDET) WHICH) ((N PL -) SOLUTION)) ((AV) DID) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP PL + GAP +) ((VP PL + FORM N TENSE P GAP +) ((VS PL + TENSE P FORM N) BELIEVE) ((SBAR GAP +) ((S GAP +) ((NP PL + GAP -) ((DET) THE) ((N PL +) DETECTIVES)) ((VBP GAP +) ((HC) WOULD) ((VP PL + FORM N TENSE P GAP +) ((V2 PL + TENSE P FORM N) SEND) ((NP GAP +) ((EMPTY))) ((PP PL - GAP -) ((P) TO) ((NP PL - GAP -) ((DET) THE) ((N PL -) POLICE)))))))))))) > (p '(The solution that Poirot sent to the police solved the case)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP -) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (S GAP ?G) ==> (COMP) (NP PL ?P GAP ?G) (VBP PL ?P GAP -) Sub Trees: (COMP) (NP PL - GAP -) (VBP GAP +) Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((DET) THE) ((N PL -) SOLUTION)) ((SBAR GAP +) ((COMP) THAT) ((S GAP +) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP +) ((VP FORM N TENSE D GAP +) ((V2 TENSE D FORM N) SENT) ((NP GAP +) ((EMPTY))) ((PP PL - GAP -) ((P) TO) ((NP PL - GAP -) ((DET) THE) ((N PL -) POLICE))))))) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((V1 TENSE D FORM N) SOLVED) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(The detective that sent the solution to the police solved the case)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP +) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP PL - GAP -) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 TENSE D FORM N) (NP PL - GAP -) (PP PL - GAP -) Rule Failure: (S GAP ?G) ==> (NP PL ?P GAP -) (VBP PL ?P GAP ?G) Sub Trees: (NP GAP +) (VBP GAP -) Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((DET) THE) ((N PL -) DETECTIVE)) ((SBAR GAP +) ((S GAP +) ((COMP) THAT) ((NP GAP +) ((EMPTY))) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((V2 TENSE D FORM N) SENT) ((NP PL - GAP -) ((DET) THE) ((N PL -) SOLUTION)) ((PP PL - GAP -) ((P) TO) ((NP PL - GAP -) ((DET) THE) ((N PL -) POLICE))))))) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((V1 TENSE D FORM N) SOLVED) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(The detective that the police sent the solution to solved the case)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP -) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP PL - GAP -) (PP GAP +) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP +) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP PL - GAP -) (PP GAP +) Rule Failure: (S GAP ?G) ==> (COMP) (NP PL ?P GAP ?G) (VBP PL ?P GAP -) Sub Trees: (COMP) (NP PL - GAP -) (VBP GAP +) Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((DET) THE) ((N PL -) DETECTIVE)) ((SBAR GAP +) ((COMP) THAT) ((S GAP +) ((NP PL - GAP -) ((DET) THE) ((N PL -) POLICE)) ((VBP GAP +) ((VP FORM N TENSE D GAP +) ((V2 TENSE D FORM N) SENT) ((NP PL - GAP -) ((DET) THE) ((N PL -) SOLUTION)) ((PP GAP +) ((P) TO) ((NP GAP +) ((EMPTY)))))))) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((V1 TENSE D FORM N) SOLVED) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(The solution that Poirot may have sent to the police solved the case)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP -) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (S GAP ?G) ==> (COMP) (NP PL ?P GAP ?G) (VBP PL ?P GAP -) Sub Trees: (COMP) (NP PL - GAP -) (VBP GAP +) Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((DET) THE) ((N PL -) SOLUTION)) ((SBAR GAP +) ((COMP) THAT) ((S GAP +) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP +) ((HC) MAY) ((HCP) HAVE) ((VP FORM N TENSE D GAP +) ((V2 TENSE D FORM N) SENT) ((NP GAP +) ((EMPTY))) ((PP PL - GAP -) ((P) TO) ((NP PL - GAP -) ((DET) THE) ((N PL -) POLICE))))))) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((V1 TENSE D FORM N) SOLVED) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(The solution Poirot sent to the police solved the case)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP -) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((DET) THE) ((N PL -) SOLUTION)) ((SBAR GAP +) ((S GAP +) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP +) ((VP FORM N TENSE D GAP +) ((V2 TENSE D FORM N) SENT) ((NP GAP +) ((EMPTY))) ((PP PL - GAP -) ((P) TO) ((NP PL - GAP -) ((DET) THE) ((N PL -) POLICE))))))) ((VBP GAP -) ((VP FORM N TENSE D GAP -) ((V1 TENSE D FORM N) SOLVED) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(The solution solves the case)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((DET) THE) ((N PL -) SOLUTION)) ((VBP PL - GAP -) ((VP PL - FORM N TENSE P GAP -) ((V1 PL - TENSE P FORM N) SOLVES) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(The solutions solve the case)) Done CFG Parse. Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL + GAP -) ((DET) THE) ((N PL +) SOLUTIONS)) ((VBP PL + GAP -) ((VP PL + FORM N TENSE P GAP -) ((V1 PL + TENSE P FORM N) SOLVE) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(The solution that Poirot sent to the police solves the case)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP -) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (S GAP ?G) ==> (COMP) (NP PL ?P GAP ?G) (VBP PL ?P GAP -) Sub Trees: (COMP) (NP PL - GAP -) (VBP GAP +) Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL - GAP -) ((DET) THE) ((N PL -) SOLUTION)) ((SBAR GAP +) ((COMP) THAT) ((S GAP +) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP +) ((VP FORM N TENSE D GAP +) ((V2 TENSE D FORM N) SENT) ((NP GAP +) ((EMPTY))) ((PP PL - GAP -) ((P) TO) ((NP PL - GAP -) ((DET) THE) ((N PL -) POLICE))))))) ((VBP PL - GAP -) ((VP PL - FORM N TENSE P GAP -) ((V1 PL - TENSE P FORM N) SOLVES) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(The solutions that Poirot sent to the police solve the case)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP -) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (S GAP ?G) ==> (COMP) (NP PL ?P GAP ?G) (VBP PL ?P GAP -) Sub Trees: (COMP) (NP PL - GAP -) (VBP GAP +) Done Parse Retrieval (((ROOT) ((S GAP -) ((NP PL + GAP -) ((DET) THE) ((N PL +) SOLUTIONS)) ((SBAR GAP +) ((COMP) THAT) ((S GAP +) ((NP PL - GAP -) ((NN PL -) POIROT)) ((VBP GAP +) ((VP FORM N TENSE D GAP +) ((V2 TENSE D FORM N) SENT) ((NP GAP +) ((EMPTY))) ((PP PL - GAP -) ((P) TO) ((NP PL - GAP -) ((DET) THE) ((N PL -) POLICE))))))) ((VBP PL + GAP -) ((VP PL + FORM N TENSE P GAP -) ((V1 PL + TENSE P FORM N) SOLVE) ((NP PL - GAP -) ((DET) THE) ((N PL -) CASE))))))) > (p '(Poirot solved)) Done CFG Parse. Rule Failure: (ROOT) ==> (S GAP -) Sub Trees: (S GAP +) Done Parse Retrieval NIL > (p '(Poirot thought the gun)) Done CFG Parse. Done Parse Retrieval NIL > (p '(Poirot sent to the police)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP -) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (ROOT) ==> (S GAP -) Sub Trees: (S GAP +) Done Parse Retrieval NIL > (p '(Poirot may solved the case)) Done CFG Parse. Rule Failure: (VBP GAP ?G) ==> (HC) (VP TENSE P FORM N PL + GAP ?G) Sub Trees: (HC) (VP FORM N TENSE D GAP -) Done Parse Retrieval NIL > (p '(Poirot has solve the case)) Done CFG Parse. Rule Failure: (VBP GAP ?G) ==> (HD) (VP TENSE D GAP ?G) Sub Trees: (HD) (VP PL + FORM N TENSE P GAP -) Done Parse Retrieval NIL > (p '(Poirot have may solved the case)) Done CFG Parse. Done Parse Retrieval NIL > (p '(Poirot is solved the case)) Done CFG Parse. Rule Failure: (VBP GAP ?G) ==> (HG) (VP FORM G GAP ?G) Sub Trees: (HG) (VP FORM N TENSE D GAP -) Rule Failure: (S GAP ?G) ==> (NP PL ?P GAP -) (VBP PL ?P GAP ?G) Sub Trees: (NP GAP +) (VBP PL - GAP +) Rule Failure: (S GAP -) ==> (NP PL ?P GAP -) (SBAR GAP +) (VBP PL ?P GAP -) Sub Trees: (NP GAP +) (SBAR GAP +) (VBP GAP -) Done Parse Retrieval NIL > (p '(Poirot may have solving the case)) Done CFG Parse. Rule Failure: (VBP GAP ?G) ==> (HC) (HCP) (VP TENSE D GAP ?G) Sub Trees: (HC) (HCP) (VP FORM G TENSE P GAP -) Done Parse Retrieval NIL > (p '(Poirot may be have solved the case)) Done CFG Parse. Done Parse Retrieval NIL > (p '(Poirot has solving the case)) Done CFG Parse. Rule Failure: (VBP GAP ?G) ==> (HD) (VP TENSE D GAP ?G) Sub Trees: (HD) (VP FORM G TENSE P GAP -) Done Parse Retrieval NIL > (p '(Which solution did Poirot send the gun to the police)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP +) (PP GAP -) Sub Trees: (V2 PL + TENSE P FORM N) (NP PL - GAP -) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 PL + TENSE P FORM N) (NP PL - GAP -) (PP PL - GAP -) Rule Failure: (S GAP -) ==> (NP+WH) (AV) (NP) (VBP PL + TENSE P FORM N GAP +) Sub Trees: (NP+WH PL -) (AV) (NP PL - GAP -) (VBP PL + GAP -) Done Parse Retrieval NIL > (p '(Who solved)) Done CFG Parse. Rule Failure: (ROOT) ==> (S GAP -) Sub Trees: (S GAP +) Done Parse Retrieval NIL > (p '(Did Poirot send which solution to the police)) Done CFG Parse. Done Parse Retrieval NIL > (p '(The solution that Poirot may have sent the gun to the police solved the ca se)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP +) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP PL - GAP -) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 TENSE D FORM N) (NP PL - GAP -) (PP PL - GAP -) Rule Failure: (S GAP -) ==> (NP PL ?P GAP -) (SBAR GAP +) (VBP PL ?P GAP -) Sub Trees: (NP PL - GAP -) (SBAR GAP -) (VBP GAP -) Rule Failure: (S GAP -) ==> (NP PL ?P GAP -) (SBAR GAP +) (VBP PL ?P GAP -) Sub Trees: (NP PL - GAP -) (SBAR GAP -) (VBP GAP -) Done Parse Retrieval NIL > (p '(The detective sent the solution to the police solved the case)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP +) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP PL - GAP -) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 TENSE D FORM N) (NP PL - GAP -) (PP PL - GAP -) Rule Failure: (S GAP ?G) ==> (NP PL ?P GAP -) (VBP PL ?P GAP ?G) Sub Trees: (NP GAP +) (VBP GAP -) Rule Failure: (S GAP -) ==> (NP PL ?P GAP -) (SBAR GAP +) (VBP PL ?P GAP -) Sub Trees: (NP GAP +) (SBAR GAP -) (VBP GAP -) Done Parse Retrieval NIL > (p '(The solution solve the case)) Done CFG Parse. Rule Failure: (S GAP ?G) ==> (NP PL ?P GAP -) (VBP PL ?P GAP ?G) Sub Trees: (NP PL - GAP -) (VBP PL + GAP -) Done Parse Retrieval NIL > (p '(The solutions solves the case)) Done CFG Parse. Rule Failure: (S GAP ?G) ==> (NP PL ?P GAP -) (VBP PL ?P GAP ?G) Sub Trees: (NP PL + GAP -) (VBP PL - GAP -) Done Parse Retrieval NIL > (p '(The solution that Poirot sent to the police solve the case)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP -) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (S GAP ?G) ==> (COMP) (NP PL ?P GAP ?G) (VBP PL ?P GAP -) Sub Trees: (COMP) (NP PL - GAP -) (VBP GAP +) Rule Failure: (S GAP -) ==> (NP PL ?P GAP -) (SBAR GAP +) (VBP PL ?P GAP -) Sub Trees: (NP PL - GAP -) (SBAR GAP +) (VBP PL + GAP -) Done Parse Retrieval NIL > (p '(The solutions that Poirot sent to the police solves the case)) Done CFG Parse. Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP -) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP -) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (VP PL ?P FORM ?F TENSE ?T GAP +) ==> (V2 PL ?P FORM ?F TENSE ?T) (NP GAP -) (PP GAP +) Sub Trees: (V2 TENSE D FORM N) (NP GAP +) (PP PL - GAP -) Rule Failure: (S GAP ?G) ==> (COMP) (NP PL ?P GAP ?G) (VBP PL ?P GAP -) Sub Trees: (COMP) (NP PL - GAP -) (VBP GAP +) Rule Failure: (S GAP -) ==> (NP PL ?P GAP -) (SBAR GAP +) (VBP PL ?P GAP -) Sub Trees: (NP PL + GAP -) (SBAR GAP +) (VBP PL - GAP -) Done Parse Retrieval NIL