Context                Previous, Next                Top


98_a_lob_n02
But Forrest might at least have tried.

%3 r_0098_0001__But_r_0098_0003__might But might r_0098_0005__have have r_0098_0001__But_r_0098_0003__might->r_0098_0005__have [scope] r_0098_0004__at_least at least r_0098_0005__have->r_0098_0004__at_least [nim] r_0098_0006__tried tried r_0098_0005__have->r_0098_0006__tried [scope] r_0098_0002__Forrest Forrest r_0098_0006__tried->r_0098_0002__Forrest [arg0] 
arc(r_0098_0001__But_r_0098_0003__might, r_0098_0005__have, scope).
arc(r_0098_0005__have, r_0098_0004__at_least, nim10).
arc(r_0098_0005__have, r_0098_0006__tried, scope).
arc(r_0098_0006__tried, r_0098_0002__Forrest, arg0).


%3 r_0098_0001__But_r_0098_0003__might_r_0098_0005__have_r_0098_0006__tried But might have tried r_0098_0002__Forrest Forrest r_0098_0001__But_r_0098_0003__might_r_0098_0005__have_r_0098_0006__tried->r_0098_0002__Forrest [arg0] r_0098_0004__at_least at least r_0098_0001__But_r_0098_0003__might_r_0098_0005__have_r_0098_0006__tried->r_0098_0004__at_least [nim] 
fof(formula,axiom,
    ? [R_98_1_BUT_MIGHT_HAVE_TRIED,R_98_2_FORREST,R_98_4_AT_LEAST] :
      ( forrest(R_98_2_FORREST)
      & at_least(R_98_4_AT_LEAST)
      & but_might_have_tried(R_98_1_BUT_MIGHT_HAVE_TRIED,R_98_2_FORREST)
      & nim10(R_98_1_BUT_MIGHT_HAVE_TRIED,R_98_4_AT_LEAST) ) ).


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))