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.

arc(r_0052_0001__Provided, r_0052_0004__not, arg1).
arc(r_0052_0001__Provided, z_000_52_a_lob_n01_3, 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_0025__and_r_0052_0038__could, r_0052_0040__hope, scope).
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_0027__they, arg0).
arc(r_0052_0028__drove, r_0052_0030__fast, nim82).
arc(r_0052_0030__fast, r_0052_0029__as, qual83).
arc(r_0052_0030__fast, z_000_52_a_lob_n01_91, 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_000_52_a_lob_n01_91, arg1).
arc(r_0052_0039__not, r_0052_0025__and_r_0052_0038__could, keep_scope).
arc(r_0052_0040__hope, r_0052_0037__they, arg0).
arc(r_0052_0040__hope, r_0052_0041__to_r_0052_0042__reach, arg1).
arc(r_0052_0041__to_r_0052_0042__reach, r_0052_0037__they, arg0).
arc(r_0052_0041__to_r_0052_0042__reach, r_0052_0043__Barletta, arg1).
arc(r_0052_0041__to_r_0052_0042__reach, r_0052_0045__midday, r_0052_0044__before_nim128).
arc(z_000_52_a_lob_n01_2, r_0052_0001__Provided, restriction).
arc(z_000_52_a_lob_n01_2, r_0052_0026__if, scope).

fof(formula,axiom,
    ? [R_52_34_WOULD_PERMIT,R_52_32_THE_ROADS,Z_52_A_LOB_N01_91,Z_52_A_LOB_N01_2,R_52_1_PROVIDED,Z_52_A_LOB_N01_3] :
      ( the_roads(R_52_32_THE_ROADS)
      & would_permit(R_52_34_WOULD_PERMIT,R_52_32_THE_ROADS,Z_52_A_LOB_N01_91)
      & ! [R_52_28_DROVE,R_52_27_THEY,R_52_30_FAST,R_52_29_AS] :
          ( ( they(R_52_27_THEY)
            & as(R_52_29_AS)
            & drove(R_52_28_DROVE,R_52_27_THEY)
            & nim82(R_52_28_DROVE,R_52_30_FAST)
            & fast(R_52_30_FAST)
            & qual83(R_52_30_FAST,R_52_29_AS)
            & as(R_52_30_FAST,Z_52_A_LOB_N01_91) )
         => ~ ? [R_52_25_AND_COULD_HOPE,R_52_41_TO_REACH,R_52_37_THEY,R_52_43_BARLETTA,R_52_45_MIDDAY] :
                ( they(R_52_37_THEY)
                & barletta(R_52_43_BARLETTA)
                & midday(R_52_45_MIDDAY)
                & and_could_hope(R_52_25_AND_COULD_HOPE,R_52_37_THEY,R_52_41_TO_REACH)
                & to_reach(R_52_41_TO_REACH,R_52_37_THEY,R_52_43_BARLETTA)
                & before_nim128(R_52_41_TO_REACH,R_52_45_MIDDAY) ) )
      & conj2(CONJ2)
      & z_52_a_lob_n01_2(Z_52_A_LOB_N01_2)
      & conj1(Z_52_A_LOB_N01_2,R_52_1_PROVIDED)
      & provided(R_52_1_PROVIDED,Z_52_A_LOB_N01_3,R_52_4_NOT)
      & ~ ? [R_52_3_DID_STOP,R_52_2_THEY] :
            ( they(R_52_2_THEY)
            & did_stop(R_52_3_DID_STOP,R_52_2_THEY) ) ) ).

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