Context                Previous, Next                Top


58_a_lob_n01
They might not reach Foggia until late at night; it was even conceivable he would arrive before them.

%3 r_0058_0002__might might r_0058_0004__reach reach r_0058_0002__might->r_0058_0004__reach [scope] r_0058_0001__They They r_0058_0004__reach->r_0058_0001__They [arg0] r_0058_0005__Foggia Foggia r_0058_0004__reach->r_0058_0005__Foggia [arg1] r_0058_0007__late late r_0058_0004__reach->r_0058_0007__late until [nim] r_0058_0003__not not r_0058_0003__not->r_0058_0002__might [keep_scope] r_0058_0009__night night r_0058_0007__late->r_0058_0009__night at r_0058_0012__was was r_0058_0013__even even r_0058_0012__was->r_0058_0013__even [nim] r_0058_0014__conceivable conceivable r_0058_0012__was->r_0058_0014__conceivable [prd] r_0058_0016__would would r_0058_0012__was->r_0058_0016__would [arg0] r_0058_0017__arrive arrive r_0058_0016__would->r_0058_0017__arrive [scope] r_0058_0015__he he r_0058_0017__arrive->r_0058_0015__he [arg0] r_0058_0019__them them r_0058_0017__arrive->r_0058_0019__them before [nim] z_000_58_a_lob_n01_2 z_000_58_a_lob_n01_2->r_0058_0003__not [conj1] z_000_58_a_lob_n01_2->r_0058_0012__was [conj2] 
arc(r_0058_0002__might, r_0058_0004__reach, scope).
arc(r_0058_0003__not, r_0058_0002__might, keep_scope).
arc(r_0058_0004__reach, r_0058_0001__They, arg0).
arc(r_0058_0004__reach, r_0058_0005__Foggia, arg1).
arc(r_0058_0004__reach, r_0058_0007__late, r_0058_0006__until_nim20).
arc(r_0058_0007__late, r_0058_0009__night, r_0058_0008__at).
arc(r_0058_0012__was, r_0058_0013__even, nim38).
arc(r_0058_0012__was, r_0058_0014__conceivable, prd).
arc(r_0058_0012__was, r_0058_0016__would, arg0).
arc(r_0058_0016__would, r_0058_0017__arrive, scope).
arc(r_0058_0017__arrive, r_0058_0015__he, arg0).
arc(r_0058_0017__arrive, r_0058_0019__them, r_0058_0018__before_nim57).
arc(z_000_58_a_lob_n01_2, r_0058_0003__not, conj1).
arc(z_000_58_a_lob_n01_2, r_0058_0012__was, conj2).


%3 r_0058_0002__might_r_0058_0004__reach might reach r_0058_0001__They They r_0058_0002__might_r_0058_0004__reach->r_0058_0001__They [arg0] r_0058_0005__Foggia Foggia r_0058_0002__might_r_0058_0004__reach->r_0058_0005__Foggia [arg1] r_0058_0007__late late r_0058_0002__might_r_0058_0004__reach->r_0058_0007__late until [nim] r_0058_0009__night night r_0058_0007__late->r_0058_0009__night at r_0058_0003__not not r_0058_0003__not->r_0058_0002__might_r_0058_0004__reach [keep_scope] r_0058_0012__was was r_0058_0013__even even r_0058_0012__was->r_0058_0013__even [nim] r_0058_0014__conceivable conceivable r_0058_0012__was->r_0058_0014__conceivable [prd] r_0058_0016__would_r_0058_0017__arrive would arrive r_0058_0012__was->r_0058_0016__would_r_0058_0017__arrive [arg0] r_0058_0015__he he r_0058_0016__would_r_0058_0017__arrive->r_0058_0015__he [arg0] r_0058_0019__them them r_0058_0016__would_r_0058_0017__arrive->r_0058_0019__them before [nim] z_000_58_a_lob_n01_2 z_000_58_a_lob_n01_2->r_0058_0003__not [conj1] z_000_58_a_lob_n01_2->r_0058_0012__was [conj2] 
fof(formula,axiom,
    ? [Z_58_A_LOB_N01_2,R_58_12_WAS,R_58_16_WOULD_ARRIVE,R_58_15_HE,R_58_19_THEM,R_58_13_EVEN,R_58_14_CONCEIVABLE] :
      ( he(R_58_15_HE)
      & them(R_58_19_THEM)
      & even(R_58_13_EVEN)
      & conceivable(R_58_14_CONCEIVABLE)
      & z_58_a_lob_n01_2(Z_58_A_LOB_N01_2)
      & conj1(Z_58_A_LOB_N01_2,R_58_3_NOT)
      & ~ ? [R_58_2_MIGHT_REACH,R_58_1_THEY,R_58_5_FOGGIA,R_58_7_LATE,R_58_9_NIGHT] :
            ( they(R_58_1_THEY)
            & foggia(R_58_5_FOGGIA)
            & night(R_58_9_NIGHT)
            & might_reach(R_58_2_MIGHT_REACH,R_58_1_THEY,R_58_5_FOGGIA)
            & until_nim20(R_58_2_MIGHT_REACH,R_58_7_LATE)
            & late(R_58_7_LATE)
            & at(R_58_7_LATE,R_58_9_NIGHT) )
      & conj2(Z_58_A_LOB_N01_2,R_58_12_WAS)
      & was(R_58_12_WAS,R_58_16_WOULD_ARRIVE,R_58_14_CONCEIVABLE)
      & would_arrive(R_58_16_WOULD_ARRIVE,R_58_15_HE)
      & before_nim57(R_58_16_WOULD_ARRIVE,R_58_19_THEM)
      & nim38(R_58_12_WAS,R_58_13_EVEN) ) ).


n58_a_lob_n01 n58_a_lob_n01_6 They n58_a_lob_n01_8 might n58_a_lob_n01_10 not n58_a_lob_n01_13 reach n58_a_lob_n01_16 Foggia n58_a_lob_n01_19 until n58_a_lob_n01_22 late n58_a_lob_n01_25 at n58_a_lob_n01_28 night n58_a_lob_n01_30 ; n58_a_lob_n01_35 it n58_a_lob_n01_37 was n58_a_lob_n01_40 even n58_a_lob_n01_43 conceivable n58_a_lob_n01_48 he n58_a_lob_n01_50 would n58_a_lob_n01_53 arrive n58_a_lob_n01_56 before n58_a_lob_n01_59 them n58_a_lob_n01_61 . n58_a_lob_n01_1 IP-MAT n58_a_lob_n01_2 ILYR n58_a_lob_n01_1->n58_a_lob_n01_2 n58_a_lob_n01_60 PUNC n58_a_lob_n01_1->n58_a_lob_n01_60 n58_a_lob_n01_3 ILYR n58_a_lob_n01_2->n58_a_lob_n01_3 n58_a_lob_n01_29 PUNC n58_a_lob_n01_2->n58_a_lob_n01_29 n58_a_lob_n01_31 CONJP n58_a_lob_n01_2->n58_a_lob_n01_31 n58_a_lob_n01_4 NP-SBJ n58_a_lob_n01_3->n58_a_lob_n01_4 n58_a_lob_n01_7 MD;_cat_Vi_ n58_a_lob_n01_3->n58_a_lob_n01_7 n58_a_lob_n01_9 NEG n58_a_lob_n01_3->n58_a_lob_n01_9 n58_a_lob_n01_11 IP-INF-CAT n58_a_lob_n01_3->n58_a_lob_n01_11 n58_a_lob_n01_5 PRO n58_a_lob_n01_4->n58_a_lob_n01_5 n58_a_lob_n01_5->n58_a_lob_n01_6 n58_a_lob_n01_7->n58_a_lob_n01_8 n58_a_lob_n01_9->n58_a_lob_n01_10 n58_a_lob_n01_12 VB;_Tn_ n58_a_lob_n01_11->n58_a_lob_n01_12 n58_a_lob_n01_14 NP-OB1 n58_a_lob_n01_11->n58_a_lob_n01_14 n58_a_lob_n01_17 PP-NIM n58_a_lob_n01_11->n58_a_lob_n01_17 n58_a_lob_n01_12->n58_a_lob_n01_13 n58_a_lob_n01_15 NPR n58_a_lob_n01_14->n58_a_lob_n01_15 n58_a_lob_n01_15->n58_a_lob_n01_16 n58_a_lob_n01_18 P-ROLE n58_a_lob_n01_17->n58_a_lob_n01_18 n58_a_lob_n01_20 ADVP n58_a_lob_n01_17->n58_a_lob_n01_20 n58_a_lob_n01_18->n58_a_lob_n01_19 n58_a_lob_n01_21 ADV n58_a_lob_n01_20->n58_a_lob_n01_21 n58_a_lob_n01_23 PP n58_a_lob_n01_20->n58_a_lob_n01_23 n58_a_lob_n01_21->n58_a_lob_n01_22 n58_a_lob_n01_24 P-ROLE n58_a_lob_n01_23->n58_a_lob_n01_24 n58_a_lob_n01_26 NP n58_a_lob_n01_23->n58_a_lob_n01_26 n58_a_lob_n01_24->n58_a_lob_n01_25 n58_a_lob_n01_27 N n58_a_lob_n01_26->n58_a_lob_n01_27 n58_a_lob_n01_27->n58_a_lob_n01_28 n58_a_lob_n01_29->n58_a_lob_n01_30 n58_a_lob_n01_32 ILYR n58_a_lob_n01_31->n58_a_lob_n01_32 n58_a_lob_n01_33 NP-SBJ n58_a_lob_n01_32->n58_a_lob_n01_33 n58_a_lob_n01_36 BED;_La_ n58_a_lob_n01_32->n58_a_lob_n01_36 n58_a_lob_n01_38 ADVP-NIM n58_a_lob_n01_32->n58_a_lob_n01_38 n58_a_lob_n01_41 ADJP-PRD n58_a_lob_n01_32->n58_a_lob_n01_41 n58_a_lob_n01_44 CP-THT-NSBJ n58_a_lob_n01_32->n58_a_lob_n01_44 n58_a_lob_n01_34 PRO;_provisional_ n58_a_lob_n01_33->n58_a_lob_n01_34 n58_a_lob_n01_34->n58_a_lob_n01_35 n58_a_lob_n01_36->n58_a_lob_n01_37 n58_a_lob_n01_39 ADV n58_a_lob_n01_38->n58_a_lob_n01_39 n58_a_lob_n01_39->n58_a_lob_n01_40 n58_a_lob_n01_42 ADJ n58_a_lob_n01_41->n58_a_lob_n01_42 n58_a_lob_n01_42->n58_a_lob_n01_43 n58_a_lob_n01_45 IP-SUB n58_a_lob_n01_44->n58_a_lob_n01_45 n58_a_lob_n01_46 NP-SBJ n58_a_lob_n01_45->n58_a_lob_n01_46 n58_a_lob_n01_49 MD;_cat_Vi_ n58_a_lob_n01_45->n58_a_lob_n01_49 n58_a_lob_n01_51 IP-INF-CAT n58_a_lob_n01_45->n58_a_lob_n01_51 n58_a_lob_n01_47 PRO n58_a_lob_n01_46->n58_a_lob_n01_47 n58_a_lob_n01_47->n58_a_lob_n01_48 n58_a_lob_n01_49->n58_a_lob_n01_50 n58_a_lob_n01_52 VB;_I_ n58_a_lob_n01_51->n58_a_lob_n01_52 n58_a_lob_n01_54 PP-NIM n58_a_lob_n01_51->n58_a_lob_n01_54 n58_a_lob_n01_52->n58_a_lob_n01_53 n58_a_lob_n01_55 P-ROLE n58_a_lob_n01_54->n58_a_lob_n01_55 n58_a_lob_n01_57 NP n58_a_lob_n01_54->n58_a_lob_n01_57 n58_a_lob_n01_55->n58_a_lob_n01_56 n58_a_lob_n01_58 PRO n58_a_lob_n01_57->n58_a_lob_n01_58 n58_a_lob_n01_58->n58_a_lob_n01_59 n58_a_lob_n01_60->n58_a_lob_n01_61 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{BENTLEY_RIDERS} (PRO They;{they}))
                      (MD;_cat_Vi_ might;{may})
                      (NEG not;{not})
                      (IP-INF-CAT (VB;_Tn_ reach;{reach})
                                  (NP-OB1 (NPR Foggia;{Foggia}))
                                  (PP-NIM (P-ROLE until;{until})
                                          (ADVP (ADV late;{late})
                                                (PP (P-ROLE at;{at})
                                                    (NP (N night;{night})))))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ (PRO;_provisional_ it;{it}))
                             (BED;_La_ was;{be})
                             (ADVP-NIM (ADV even;{even}))
                             (ADJP-PRD (ADJ conceivable;{conceivable}))
                             (CP-THT-NSBJ (IP-SUB (NP-SBJ;{GEOFFREY} (PRO he;{he}))
                                                  (MD;_cat_Vi_ would;{will})
                                                  (IP-INF-CAT (VB;_I_ arrive;{arrive})
                                                              (PP-NIM (P-ROLE before;{before})
                                                                      (NP;{BENTLEY_RIDERS} (PRO them;{they})))))))))
          (PUNC .))
  (ID 58_a_lob_n01))