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.

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

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__nim).
arc(r_0058_0007__late,r_0058_0009__night,r_0058_0008__at).
arc(r_0058_0012__was,r_0058_0013__even,nim).
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_0001__They,r_0058_0018__before__nim).
arc(r_0058_0017__arrive,r_0058_0015__he,arg0).
arc(z_0058_5001,r_0058_0003__not,conj1).
arc(z_0058_5001,r_0058_0012__was,conj2).

fof(formula,axiom,
    ? [R_0058_0013__EVEN,R_0058_0014__CONCEIVABLE,R_0058_0001__THEY,R_0058_0015__HE,R_0058_0016__WOULD_R_0058_0017__ARRIVE,R_0058_0012__WAS,Z_0058_5001] :
      ( r_0058_0001__They(R_0058_0001__THEY)
      & r_0058_0013__even(R_0058_0013__EVEN)
      & r_0058_0014__conceivable(R_0058_0014__CONCEIVABLE)
      & r_0058_0015__he(R_0058_0015__HE)
      & z_0058_5001(Z_0058_5001)
      & has_conj2(Z_0058_5001,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_arg0(R_0058_0016__WOULD_R_0058_0017__ARRIVE,R_0058_0015__HE)
      & has_r_0058_0018__before__nim(R_0058_0016__WOULD_R_0058_0017__ARRIVE,R_0058_0001__THEY)
      & has_prd(R_0058_0012__WAS,R_0058_0014__CONCEIVABLE)
      & has_nim(R_0058_0012__WAS,R_0058_0013__EVEN)
      & has_conj1(Z_0058_5001,R_0058_0003__NOT)
      & ~ ? [R_0058_0005__FOGGIA,R_0058_0009__NIGHT,R_0058_0007__LATE,R_0058_0002__MIGHT_R_0058_0004__REACH] :
            ( 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__nim(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) ) ) ).