TSPC 52_a_lob

52_a_lob_n01
Provided they did not stop (and with Eve unconscious — or worse — they would be anxious to avoid attracting attention), and if they drove as fast as the roads would permit, they could not hope to reach Barletta before midday.

( (IP-MAT (PP-SCON (IP-PPL3 (VVN;_Tf_ Provided;{provide})
                            (CP-THT-OB1 (IP-SUB (NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
                                                (DOD did;{do})
                                                (NEG not;{not})
                                                (VB;_I_ stop;{stop})))))
          (PULB -LRB-)
          (PRN (IP-MAT (CONJ;_cl_ and;{and})
                       (PP-NIM (P-ROLE with;{with})
                               (IP-PPL3 (NP-SBJ;{EVE} (NPR Eve;{Eve}))
                                        (ADJP-PRD (AJLYR (AJLYR (ADJ unconscious;{unconscious}))
                                                         (PUNC <mdash>)
                                                         (CONJP (CONJ or;{or})
                                                                (AJLYR (ADJR worse;{bad})))
                                                         (PUNC <mdash>)))))
                       (NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
                       (MD;_cat_Vi_ would;{will})
                       (IP-INF-CAT (BE;_La_ be;{be})
                                   (ADJP-PRD (ADJ;_cat_ anxious;{anxious})
                                             (IP-INF (TO to;{to})
                                                     (VB;_Tg_ avoid;{avoid})
                                                     (IP-PPL-OB1 (VAG;_Tn_ attracting;{attract})
                                                                 (NP-OB1 (N attention;{attention}))))))))
          (PURB -RRB-)
          (PUNC ,)
          (CONJ;_cl_ and;{and})
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
                           (VBD;_I_ drove;{drive})
                           (ADVP-NIM (ADVP (ADV as;{as}))
                                     (ADV fast;{fast})
                                     (PP (P-CONN as;{as})
                                         (NP (IP-REL (NP-SBJ (D the;{the})
                                                             (NS roads;{road}))
                                                     (MD;_cat_Vi_ would;{will})
                                                     (IP-INF-CAT (NP-OB1 *T*)
                                                                 (VB;_Tn_ permit;{permit}))))))))
          (PUNC ,)
          (NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
          (MD;_cat_Vi_ could;{can})
          (NEG not;{not})
          (IP-INF-CAT (VB;_Tt_ hope;{hope})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn_ reach;{reach})
                                  (NP-OB1 (NPR Barletta;{Barletta}))
                                  (PP-NIM (P-ROLE before;{before})
                                          (NP (N midday;{midday})))))
          (PUNC .))
  (ID 52_a_lob_n01))

arc(r_0052_0001__Provided,r_0052_0004__not,arg1).
arc(r_0052_0001__Provided,z_0052_5004,arg0).
arc(r_0052_0003__did_r_0052_0005__stop,r_0052_0002__they,arg0).
arc(r_0052_0004__not,r_0052_0003__did_r_0052_0005__stop,keep_scope).
arc(r_0052_0012__or,r_0052_0010__unconscious,conj1).
arc(r_0052_0012__or,r_0052_0013__worse,conj2).
arc(r_0052_0016__would,r_0052_0017__be,scope).
arc(r_0052_0016__would,z_0052_5014,r_0052_0008__with__nim).
arc(r_0052_0017__be,r_0052_0018__anxious,scope).
arc(r_0052_0018__anxious,r_0052_0020__avoid,scope).
arc(r_0052_0020__avoid,r_0052_0002__they,arg0).
arc(r_0052_0020__avoid,r_0052_0021__attracting,arg1).
arc(r_0052_0021__attracting,r_0052_0002__they,arg0).
arc(r_0052_0021__attracting,r_0052_0022__attention,arg1).
arc(r_0052_0026__if,r_0052_0028__drove,restriction).
arc(r_0052_0026__if,r_0052_0039__not,scope).
arc(r_0052_0028__drove,r_0052_0002__they,arg0).
arc(r_0052_0028__drove,r_0052_0030__fast,nim).
arc(r_0052_0030__fast,r_0052_0029__as,qual).
arc(r_0052_0030__fast,z_0052_5036,r_0052_0031__as).
arc(r_0052_0034__would,r_0052_0035__permit,scope).
arc(r_0052_0035__permit,r_0052_0032__the_r_0052_0033__roads,arg0).
arc(r_0052_0035__permit,z_0052_5036,inv_arg1).
arc(r_0052_0038__could,r_0052_0016__would,prn).
arc(r_0052_0038__could,r_0052_0040__hope,scope).
arc(r_0052_0039__not,r_0052_0038__could,keep_scope).
arc(r_0052_0040__hope,r_0052_0002__they,arg0).
arc(r_0052_0040__hope,r_0052_0042__reach,arg1).
arc(r_0052_0042__reach,r_0052_0002__they,arg0).
arc(r_0052_0042__reach,r_0052_0043__Barletta,arg1).
arc(r_0052_0042__reach,r_0052_0045__midday,r_0052_0044__before__nim).
arc(z_0052_5001,r_0052_0001__Provided,restriction).
arc(z_0052_5001,r_0052_0026__if,scope).
arc(z_0052_5014,r_0052_0009__Eve,arg0).
arc(z_0052_5014,r_0052_0012__or,prd).

fof(formula,axiom,
    ? [Z_0052_5004,R_0052_0001__PROVIDED,Z_0052_5001] :
      ( z_0052_5004(Z_0052_5004)
      & z_0052_5001(Z_0052_5001)
      & ! [R_0052_0028__DROVE,R_0052_0002__THEY,R_0052_0029__AS,R_0052_0032__THE_R_0052_0033__ROADS,R_0052_0034__WOULD_R_0052_0035__PERMIT,Z_0052_5036,R_0052_0030__FAST] :
          ( ( r_0052_0002__they(R_0052_0002__THEY)
            & r_0052_0029__as(R_0052_0029__AS)
            & r_0052_0032__the_r_0052_0033__roads(R_0052_0032__THE_R_0052_0033__ROADS)
            & r_0052_0028__drove(R_0052_0028__DROVE)
            & has_nim(R_0052_0028__DROVE,R_0052_0030__FAST)
            & r_0052_0030__fast(R_0052_0030__FAST)
            & has_r_0052_0031__as(R_0052_0030__FAST,Z_0052_5036)
            & z_0052_5036(Z_0052_5036)
            & has_inv_arg1(Z_0052_5036,R_0052_0034__WOULD_R_0052_0035__PERMIT)
            & r_0052_0034__would_r_0052_0035__permit(R_0052_0034__WOULD_R_0052_0035__PERMIT)
            & has_arg0(R_0052_0034__WOULD_R_0052_0035__PERMIT,R_0052_0032__THE_R_0052_0033__ROADS)
            & has_qual(R_0052_0030__FAST,R_0052_0029__AS)
            & has_arg0(R_0052_0028__DROVE,R_0052_0002__THEY) )
         => ~ ? [R_0052_0009__EVE,R_0052_0010__UNCONSCIOUS,R_0052_0013__WORSE,R_0052_0012__OR,Z_0052_5014,R_0052_0022__ATTENTION,R_0052_0021__ATTRACTING,R_0052_0016__WOULD_R_0052_0017__BE_R_0052_0018__ANXIOUS_R_0052_0020__AVOID,R_0052_0043__BARLETTA,R_0052_0045__MIDDAY,R_0052_0042__REACH,R_0052_0038__COULD_R_0052_0040__HOPE] :
                ( r_0052_0009__Eve(R_0052_0009__EVE)
                & r_0052_0010__unconscious(R_0052_0010__UNCONSCIOUS)
                & r_0052_0013__worse(R_0052_0013__WORSE)
                & r_0052_0022__attention(R_0052_0022__ATTENTION)
                & r_0052_0043__Barletta(R_0052_0043__BARLETTA)
                & r_0052_0045__midday(R_0052_0045__MIDDAY)
                & r_0052_0038__could_r_0052_0040__hope(R_0052_0038__COULD_R_0052_0040__HOPE)
                & has_arg1(R_0052_0038__COULD_R_0052_0040__HOPE,R_0052_0042__REACH)
                & r_0052_0042__reach(R_0052_0042__REACH)
                & has_r_0052_0044__before__nim(R_0052_0042__REACH,R_0052_0045__MIDDAY)
                & has_arg1(R_0052_0042__REACH,R_0052_0043__BARLETTA)
                & has_arg0(R_0052_0042__REACH,R_0052_0002__THEY)
                & has_arg0(R_0052_0038__COULD_R_0052_0040__HOPE,R_0052_0002__THEY)
                & has_prn(R_0052_0038__COULD_R_0052_0040__HOPE,R_0052_0016__WOULD_R_0052_0017__BE_R_0052_0018__ANXIOUS_R_0052_0020__AVOID)
                & r_0052_0016__would_r_0052_0017__be_r_0052_0018__anxious_r_0052_0020__avoid(R_0052_0016__WOULD_R_0052_0017__BE_R_0052_0018__ANXIOUS_R_0052_0020__AVOID)
                & has_arg1(R_0052_0016__WOULD_R_0052_0017__BE_R_0052_0018__ANXIOUS_R_0052_0020__AVOID,R_0052_0021__ATTRACTING)
                & r_0052_0021__attracting(R_0052_0021__ATTRACTING)
                & has_arg1(R_0052_0021__ATTRACTING,R_0052_0022__ATTENTION)
                & has_arg0(R_0052_0021__ATTRACTING,R_0052_0002__THEY)
                & has_arg0(R_0052_0016__WOULD_R_0052_0017__BE_R_0052_0018__ANXIOUS_R_0052_0020__AVOID,R_0052_0002__THEY)
                & has_r_0052_0008__with__nim(R_0052_0016__WOULD_R_0052_0017__BE_R_0052_0018__ANXIOUS_R_0052_0020__AVOID,Z_0052_5014)
                & z_0052_5014(Z_0052_5014)
                & has_prd(Z_0052_5014,R_0052_0012__OR)
                & r_0052_0012__or(R_0052_0012__OR)
                & has_conj2(R_0052_0012__OR,R_0052_0013__WORSE)
                & has_conj1(R_0052_0012__OR,R_0052_0010__UNCONSCIOUS)
                & has_arg0(Z_0052_5014,R_0052_0009__EVE) ) )
      & has_conj1(Z_0052_5001,R_0052_0001__PROVIDED)
      & r_0052_0001__Provided(R_0052_0001__PROVIDED)
      & has_arg0(R_0052_0001__PROVIDED,Z_0052_5004)
      & has_arg1(R_0052_0001__PROVIDED,R_0052_0004__NOT)
      & ~ ? [R_0052_0002__THEY,R_0052_0003__DID_R_0052_0005__STOP] :
            ( r_0052_0002__they(R_0052_0002__THEY)
            & r_0052_0003__did_r_0052_0005__stop(R_0052_0003__DID_R_0052_0005__STOP)
            & has_arg0(R_0052_0003__DID_R_0052_0005__STOP,R_0052_0002__THEY) ) ) ).