TSPC 58_a_lob

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

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

fof(formula,axiom,
    ? [R_0058_0013__EVEN,R_0058_0014__CONCEIVABLE,R_0058_0015__HE,R_0058_0019__THEM,R_0058_0016__WOULD_R_0058_0017__ARRIVE,R_0058_0012__WAS,Z_000_58_A_LOB_N01_2] :
      ( r_0058_0013__even(R_0058_0013__EVEN)
      & r_0058_0014__conceivable(R_0058_0014__CONCEIVABLE)
      & r_0058_0015__he(R_0058_0015__HE)
      & r_0058_0019__them(R_0058_0019__THEM)
      & z_000_58_a_lob_n01_2(Z_000_58_A_LOB_N01_2)
      & has_conj2(Z_000_58_A_LOB_N01_2,R_0058_0012__WAS)
      & r_0058_0012__was(R_0058_0012__WAS)
      & has_arg0(R_0058_0012__WAS,R_0058_0016__WOULD_R_0058_0017__ARRIVE)
      & r_0058_0016__would_r_0058_0017__arrive(R_0058_0016__WOULD_R_0058_0017__ARRIVE)
      & has_r_0058_0018__before_nim57(R_0058_0016__WOULD_R_0058_0017__ARRIVE,R_0058_0019__THEM)
      & has_arg0(R_0058_0016__WOULD_R_0058_0017__ARRIVE,R_0058_0015__HE)
      & has_prd(R_0058_0012__WAS,R_0058_0014__CONCEIVABLE)
      & has_nim38(R_0058_0012__WAS,R_0058_0013__EVEN)
      & has_conj1(Z_000_58_A_LOB_N01_2,R_0058_0003__NOT)
      & ~ ? [R_0058_0001__THEY,R_0058_0005__FOGGIA,R_0058_0009__NIGHT,R_0058_0007__LATE,R_0058_0002__MIGHT_R_0058_0004__REACH] :
            ( r_0058_0001__They(R_0058_0001__THEY)
            & r_0058_0005__Foggia(R_0058_0005__FOGGIA)
            & r_0058_0009__night(R_0058_0009__NIGHT)
            & r_0058_0002__might_r_0058_0004__reach(R_0058_0002__MIGHT_R_0058_0004__REACH)
            & has_r_0058_0006__until_nim20(R_0058_0002__MIGHT_R_0058_0004__REACH,R_0058_0007__LATE)
            & r_0058_0007__late(R_0058_0007__LATE)
            & has_r_0058_0008__at(R_0058_0007__LATE,R_0058_0009__NIGHT)
            & has_arg1(R_0058_0002__MIGHT_R_0058_0004__REACH,R_0058_0005__FOGGIA)
            & has_arg0(R_0058_0002__MIGHT_R_0058_0004__REACH,R_0058_0001__THEY) ) ) ).

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