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_3 But n98_a_lob_n02_6 Forrest n98_a_lob_n02_8 might n98_a_lob_n02_12 at_least n98_a_lob_n02_14 have n98_a_lob_n02_17 tried n98_a_lob_n02_19 . n98_a_lob_n02_1 IP-MAT n98_a_lob_n02_2 CONJ;_cl_ n98_a_lob_n02_1->n98_a_lob_n02_2 n98_a_lob_n02_4 NP-SBJ n98_a_lob_n02_1->n98_a_lob_n02_4 n98_a_lob_n02_7 MD;_cat_Vi_ n98_a_lob_n02_1->n98_a_lob_n02_7 n98_a_lob_n02_9 IP-INF-CAT n98_a_lob_n02_1->n98_a_lob_n02_9 n98_a_lob_n02_18 PUNC n98_a_lob_n02_1->n98_a_lob_n02_18 n98_a_lob_n02_2->n98_a_lob_n02_3 n98_a_lob_n02_5 NPR n98_a_lob_n02_4->n98_a_lob_n02_5 n98_a_lob_n02_5->n98_a_lob_n02_6 n98_a_lob_n02_7->n98_a_lob_n02_8 n98_a_lob_n02_10 ADVP-NIM n98_a_lob_n02_9->n98_a_lob_n02_10 n98_a_lob_n02_13 HV;_cat_Ve_ n98_a_lob_n02_9->n98_a_lob_n02_13 n98_a_lob_n02_15 IP-PPL-CAT n98_a_lob_n02_9->n98_a_lob_n02_15 n98_a_lob_n02_11 ADV n98_a_lob_n02_10->n98_a_lob_n02_11 n98_a_lob_n02_11->n98_a_lob_n02_12 n98_a_lob_n02_13->n98_a_lob_n02_14 n98_a_lob_n02_16 VVN;_I_ n98_a_lob_n02_15->n98_a_lob_n02_16 n98_a_lob_n02_16->n98_a_lob_n02_17 n98_a_lob_n02_18->n98_a_lob_n02_19 
( (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))