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 z_000_58_a_lob_n01_2 r_0058_0012__was was z_000_58_a_lob_n01_2->r_0058_0012__was [conj2] r_0058_0003__not not z_000_58_a_lob_n01_2->r_0058_0003__not [conj1] 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_0014__conceivable conceivable r_0058_0012__was->r_0058_0014__conceivable [prd] r_0058_0013__even even r_0058_0012__was->r_0058_0013__even [nim] r_0058_0002__might_r_0058_0004__reach might reach r_0058_0003__not->r_0058_0002__might_r_0058_0004__reach [keep_scope] r_0058_0019__them them r_0058_0016__would_r_0058_0017__arrive->r_0058_0019__them before [nim] r_0058_0015__he he r_0058_0016__would_r_0058_0017__arrive->r_0058_0015__he [arg0] r_0058_0007__late late r_0058_0009__night night r_0058_0007__late->r_0058_0009__night at r_0058_0002__might_r_0058_0004__reach->r_0058_0007__late until [nim] r_0058_0005__Foggia Foggia r_0058_0002__might_r_0058_0004__reach->r_0058_0005__Foggia [arg1] r_0058_0001__They They r_0058_0002__might_r_0058_0004__reach->r_0058_0001__They [arg0] 
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__1_1_1_1_1_1 They n58_a_lob_n01__1_1_1_2_1 might n58_a_lob_n01__1_1_1_3_1 not n58_a_lob_n01__1_1_1_4_1_1 reach n58_a_lob_n01__1_1_1_4_2_1_1 Foggia n58_a_lob_n01__1_1_1_4_3_1_1 until n58_a_lob_n01__1_1_1_4_3_2_1_1 late n58_a_lob_n01__1_1_1_4_3_2_2_1_1 at n58_a_lob_n01__1_1_1_4_3_2_2_2_1_1 night n58_a_lob_n01__1_1_2_1 ; n58_a_lob_n01__1_1_3_1_1_1_1 it n58_a_lob_n01__1_1_3_1_2_1 was n58_a_lob_n01__1_1_3_1_3_1_1 even n58_a_lob_n01__1_1_3_1_4_1_1 conceivable n58_a_lob_n01__1_1_3_1_5_1_1_1_1 he n58_a_lob_n01__1_1_3_1_5_1_2_1 would n58_a_lob_n01__1_1_3_1_5_1_3_1_1 arrive n58_a_lob_n01__1_1_3_1_5_1_3_2_1_1 before n58_a_lob_n01__1_1_3_1_5_1_3_2_2_1_1 them n58_a_lob_n01__1_2_1 . n58_a_lob_n01__1 IP-MAT n58_a_lob_n01__1_1 ILYR n58_a_lob_n01__1->n58_a_lob_n01__1_1 n58_a_lob_n01__1_2 PUNC n58_a_lob_n01__1->n58_a_lob_n01__1_2 n58_a_lob_n01__1_1_1 ILYR n58_a_lob_n01__1_1->n58_a_lob_n01__1_1_1 n58_a_lob_n01__1_1_2 PUNC n58_a_lob_n01__1_1->n58_a_lob_n01__1_1_2 n58_a_lob_n01__1_1_3 CONJP n58_a_lob_n01__1_1->n58_a_lob_n01__1_1_3 n58_a_lob_n01__1_1_1_1 NP-SBJ n58_a_lob_n01__1_1_1->n58_a_lob_n01__1_1_1_1 n58_a_lob_n01__1_1_1_2 MD;_cat_Vi_ n58_a_lob_n01__1_1_1->n58_a_lob_n01__1_1_1_2 n58_a_lob_n01__1_1_1_3 NEG n58_a_lob_n01__1_1_1->n58_a_lob_n01__1_1_1_3 n58_a_lob_n01__1_1_1_4 IP-INF-CAT n58_a_lob_n01__1_1_1->n58_a_lob_n01__1_1_1_4 n58_a_lob_n01__1_1_1_1_1 PRO n58_a_lob_n01__1_1_1_1->n58_a_lob_n01__1_1_1_1_1 n58_a_lob_n01__1_1_1_1_1->n58_a_lob_n01__1_1_1_1_1_1 n58_a_lob_n01__1_1_1_2->n58_a_lob_n01__1_1_1_2_1 n58_a_lob_n01__1_1_1_3->n58_a_lob_n01__1_1_1_3_1 n58_a_lob_n01__1_1_1_4_1 VB;_Tn_ n58_a_lob_n01__1_1_1_4->n58_a_lob_n01__1_1_1_4_1 n58_a_lob_n01__1_1_1_4_2 NP-OB1 n58_a_lob_n01__1_1_1_4->n58_a_lob_n01__1_1_1_4_2 n58_a_lob_n01__1_1_1_4_3 PP-NIM n58_a_lob_n01__1_1_1_4->n58_a_lob_n01__1_1_1_4_3 n58_a_lob_n01__1_1_1_4_1->n58_a_lob_n01__1_1_1_4_1_1 n58_a_lob_n01__1_1_1_4_2_1 NPR n58_a_lob_n01__1_1_1_4_2->n58_a_lob_n01__1_1_1_4_2_1 n58_a_lob_n01__1_1_1_4_2_1->n58_a_lob_n01__1_1_1_4_2_1_1 n58_a_lob_n01__1_1_1_4_3_1 P-ROLE n58_a_lob_n01__1_1_1_4_3->n58_a_lob_n01__1_1_1_4_3_1 n58_a_lob_n01__1_1_1_4_3_2 ADVP n58_a_lob_n01__1_1_1_4_3->n58_a_lob_n01__1_1_1_4_3_2 n58_a_lob_n01__1_1_1_4_3_1->n58_a_lob_n01__1_1_1_4_3_1_1 n58_a_lob_n01__1_1_1_4_3_2_1 ADV n58_a_lob_n01__1_1_1_4_3_2->n58_a_lob_n01__1_1_1_4_3_2_1 n58_a_lob_n01__1_1_1_4_3_2_2 PP n58_a_lob_n01__1_1_1_4_3_2->n58_a_lob_n01__1_1_1_4_3_2_2 n58_a_lob_n01__1_1_1_4_3_2_1->n58_a_lob_n01__1_1_1_4_3_2_1_1 n58_a_lob_n01__1_1_1_4_3_2_2_1 P-ROLE n58_a_lob_n01__1_1_1_4_3_2_2->n58_a_lob_n01__1_1_1_4_3_2_2_1 n58_a_lob_n01__1_1_1_4_3_2_2_2 NP n58_a_lob_n01__1_1_1_4_3_2_2->n58_a_lob_n01__1_1_1_4_3_2_2_2 n58_a_lob_n01__1_1_1_4_3_2_2_1->n58_a_lob_n01__1_1_1_4_3_2_2_1_1 n58_a_lob_n01__1_1_1_4_3_2_2_2_1 N n58_a_lob_n01__1_1_1_4_3_2_2_2->n58_a_lob_n01__1_1_1_4_3_2_2_2_1 n58_a_lob_n01__1_1_1_4_3_2_2_2_1->n58_a_lob_n01__1_1_1_4_3_2_2_2_1_1 n58_a_lob_n01__1_1_2->n58_a_lob_n01__1_1_2_1 n58_a_lob_n01__1_1_3_1 ILYR n58_a_lob_n01__1_1_3->n58_a_lob_n01__1_1_3_1 n58_a_lob_n01__1_1_3_1_1 NP-SBJ n58_a_lob_n01__1_1_3_1->n58_a_lob_n01__1_1_3_1_1 n58_a_lob_n01__1_1_3_1_2 BED;_La_ n58_a_lob_n01__1_1_3_1->n58_a_lob_n01__1_1_3_1_2 n58_a_lob_n01__1_1_3_1_3 ADVP-NIM n58_a_lob_n01__1_1_3_1->n58_a_lob_n01__1_1_3_1_3 n58_a_lob_n01__1_1_3_1_4 ADJP-PRD n58_a_lob_n01__1_1_3_1->n58_a_lob_n01__1_1_3_1_4 n58_a_lob_n01__1_1_3_1_5 CP-THT-NSBJ n58_a_lob_n01__1_1_3_1->n58_a_lob_n01__1_1_3_1_5 n58_a_lob_n01__1_1_3_1_1_1 PRO;_provisional_ n58_a_lob_n01__1_1_3_1_1->n58_a_lob_n01__1_1_3_1_1_1 n58_a_lob_n01__1_1_3_1_1_1->n58_a_lob_n01__1_1_3_1_1_1_1 n58_a_lob_n01__1_1_3_1_2->n58_a_lob_n01__1_1_3_1_2_1 n58_a_lob_n01__1_1_3_1_3_1 ADV n58_a_lob_n01__1_1_3_1_3->n58_a_lob_n01__1_1_3_1_3_1 n58_a_lob_n01__1_1_3_1_3_1->n58_a_lob_n01__1_1_3_1_3_1_1 n58_a_lob_n01__1_1_3_1_4_1 ADJ n58_a_lob_n01__1_1_3_1_4->n58_a_lob_n01__1_1_3_1_4_1 n58_a_lob_n01__1_1_3_1_4_1->n58_a_lob_n01__1_1_3_1_4_1_1 n58_a_lob_n01__1_1_3_1_5_1 IP-SUB n58_a_lob_n01__1_1_3_1_5->n58_a_lob_n01__1_1_3_1_5_1 n58_a_lob_n01__1_1_3_1_5_1_1 NP-SBJ n58_a_lob_n01__1_1_3_1_5_1->n58_a_lob_n01__1_1_3_1_5_1_1 n58_a_lob_n01__1_1_3_1_5_1_2 MD;_cat_Vi_ n58_a_lob_n01__1_1_3_1_5_1->n58_a_lob_n01__1_1_3_1_5_1_2 n58_a_lob_n01__1_1_3_1_5_1_3 IP-INF-CAT n58_a_lob_n01__1_1_3_1_5_1->n58_a_lob_n01__1_1_3_1_5_1_3 n58_a_lob_n01__1_1_3_1_5_1_1_1 PRO n58_a_lob_n01__1_1_3_1_5_1_1->n58_a_lob_n01__1_1_3_1_5_1_1_1 n58_a_lob_n01__1_1_3_1_5_1_1_1->n58_a_lob_n01__1_1_3_1_5_1_1_1_1 n58_a_lob_n01__1_1_3_1_5_1_2->n58_a_lob_n01__1_1_3_1_5_1_2_1 n58_a_lob_n01__1_1_3_1_5_1_3_1 VB;_I_ n58_a_lob_n01__1_1_3_1_5_1_3->n58_a_lob_n01__1_1_3_1_5_1_3_1 n58_a_lob_n01__1_1_3_1_5_1_3_2 PP-NIM n58_a_lob_n01__1_1_3_1_5_1_3->n58_a_lob_n01__1_1_3_1_5_1_3_2 n58_a_lob_n01__1_1_3_1_5_1_3_1->n58_a_lob_n01__1_1_3_1_5_1_3_1_1 n58_a_lob_n01__1_1_3_1_5_1_3_2_1 P-ROLE n58_a_lob_n01__1_1_3_1_5_1_3_2->n58_a_lob_n01__1_1_3_1_5_1_3_2_1 n58_a_lob_n01__1_1_3_1_5_1_3_2_2 NP n58_a_lob_n01__1_1_3_1_5_1_3_2->n58_a_lob_n01__1_1_3_1_5_1_3_2_2 n58_a_lob_n01__1_1_3_1_5_1_3_2_1->n58_a_lob_n01__1_1_3_1_5_1_3_2_1_1 n58_a_lob_n01__1_1_3_1_5_1_3_2_2_1 PRO n58_a_lob_n01__1_1_3_1_5_1_3_2_2->n58_a_lob_n01__1_1_3_1_5_1_3_2_2_1 n58_a_lob_n01__1_1_3_1_5_1_3_2_2_1->n58_a_lob_n01__1_1_3_1_5_1_3_2_2_1_1 n58_a_lob_n01__1_2->n58_a_lob_n01__1_2_1 
( (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))