Context                Previous, Next                Top


98_a_lob_n02
But Forrest might at least have tried.

n98_a_lob_n02 n98_a_lob_n02__1_1_1 But n98_a_lob_n02__1_2_1_1 Forrest n98_a_lob_n02__1_3_1 might n98_a_lob_n02__1_4_1_1_1 at_least n98_a_lob_n02__1_4_2_1 have n98_a_lob_n02__1_4_3_1_1 tried n98_a_lob_n02__1_5_1 . n98_a_lob_n02__1 IP-MAT n98_a_lob_n02__1_1 CONJ;_cl_ n98_a_lob_n02__1->n98_a_lob_n02__1_1 n98_a_lob_n02__1_2 NP-SBJ n98_a_lob_n02__1->n98_a_lob_n02__1_2 n98_a_lob_n02__1_3 MD;_cat_Vi_ n98_a_lob_n02__1->n98_a_lob_n02__1_3 n98_a_lob_n02__1_4 IP-INF-CAT n98_a_lob_n02__1->n98_a_lob_n02__1_4 n98_a_lob_n02__1_5 PUNC n98_a_lob_n02__1->n98_a_lob_n02__1_5 n98_a_lob_n02__1_1->n98_a_lob_n02__1_1_1 n98_a_lob_n02__1_2_1 NPR n98_a_lob_n02__1_2->n98_a_lob_n02__1_2_1 n98_a_lob_n02__1_2_1->n98_a_lob_n02__1_2_1_1 n98_a_lob_n02__1_3->n98_a_lob_n02__1_3_1 n98_a_lob_n02__1_4_1 ADVP-NIM n98_a_lob_n02__1_4->n98_a_lob_n02__1_4_1 n98_a_lob_n02__1_4_2 HV;_cat_Ve_ n98_a_lob_n02__1_4->n98_a_lob_n02__1_4_2 n98_a_lob_n02__1_4_3 IP-PPL-CAT n98_a_lob_n02__1_4->n98_a_lob_n02__1_4_3 n98_a_lob_n02__1_4_1_1 ADV n98_a_lob_n02__1_4_1->n98_a_lob_n02__1_4_1_1 n98_a_lob_n02__1_4_1_1->n98_a_lob_n02__1_4_1_1_1 n98_a_lob_n02__1_4_2->n98_a_lob_n02__1_4_2_1 n98_a_lob_n02__1_4_3_1 VVN;_I_ n98_a_lob_n02__1_4_3->n98_a_lob_n02__1_4_3_1 n98_a_lob_n02__1_4_3_1->n98_a_lob_n02__1_4_3_1_1 n98_a_lob_n02__1_5->n98_a_lob_n02__1_5_1 
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ;{FORREST} (NPR Forrest;{Forrest}))
          (MD;_cat_Vi_ might;{may})
          (IP-INF-CAT (ADVP-NIM (ADV at_least;{at_least}))
                      (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (VVN;_I_ tried;{try})))
          (PUNC .))
  (ID 98_a_lob_n02))


%3 r_0098_0006__tried tried r_0098_0002__Forrest Forrest r_0098_0006__tried->r_0098_0002__Forrest [arg0] r_0098_0005__have have r_0098_0005__have->r_0098_0006__tried [scope] r_0098_0004__at_least at_least r_0098_0005__have->r_0098_0004__at_least [nim] r_0098_0003__might might r_0098_0003__might->r_0098_0005__have [scope] 
arc(r_0098_0003__might,r_0098_0005__have,scope).
arc(r_0098_0005__have,r_0098_0004__at_least,nim).
arc(r_0098_0005__have,r_0098_0006__tried,scope).
arc(r_0098_0006__tried,r_0098_0002__Forrest,arg0).


%3 r_0098_0003__might_r_0098_0005__have_r_0098_0006__tried might have tried r_0098_0004__at_least at_least r_0098_0003__might_r_0098_0005__have_r_0098_0006__tried->r_0098_0004__at_least [nim] r_0098_0002__Forrest Forrest r_0098_0003__might_r_0098_0005__have_r_0098_0006__tried->r_0098_0002__Forrest [arg0] 
fof(formula,axiom,
    ? [R_0098_0004__AT_LEAST,R_0098_0002__FORREST,R_0098_0003__MIGHT_R_0098_0005__HAVE_R_0098_0006__TRIED] :
      ( r_0098_0002__Forrest(R_0098_0002__FORREST)
      & r_0098_0004__at_least(R_0098_0004__AT_LEAST)
      & r_0098_0003__might_r_0098_0005__have_r_0098_0006__tried(R_0098_0003__MIGHT_R_0098_0005__HAVE_R_0098_0006__TRIED)
      & has_arg0(R_0098_0003__MIGHT_R_0098_0005__HAVE_R_0098_0006__TRIED,R_0098_0002__FORREST)
      & has_nim(R_0098_0003__MIGHT_R_0098_0005__HAVE_R_0098_0006__TRIED,R_0098_0004__AT_LEAST) ) ).