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_0003__did_r_0052_0005__stop, arg1).
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_0052_0032__THE_R_0052_0033__ROADS,Z_000_52_A_LOB_N01_91,R_0052_0034__WOULD_R_0052_0035__PERMIT,R_0052_0002__THEY,R_0052_0003__DID_R_0052_0005__STOP,Z_000_52_A_LOB_N01_3,R_0052_0001__PROVIDED,Z_000_52_A_LOB_N01_2] :
      ( r_0052_0002__they(R_0052_0002__THEY)
      & r_0052_0032__the_r_0052_0033__roads(R_0052_0032__THE_R_0052_0033__ROADS)
      & z_000_52_a_lob_n01_3(Z_000_52_A_LOB_N01_3)
      & z_000_52_a_lob_n01_91(Z_000_52_A_LOB_N01_91)
      & z_000_52_a_lob_n01_2(Z_000_52_A_LOB_N01_2)
      & ! [R_0052_0028__DROVE,R_0052_0027__THEY,R_0052_0029__AS,R_0052_0030__FAST] :
          ( ( r_0052_0027__they(R_0052_0027__THEY)
            & r_0052_0029__as(R_0052_0029__AS)
            & r_0052_0028__drove(R_0052_0028__DROVE)
            & has_nim82(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_000_52_A_LOB_N01_91)
            & has_qual83(R_0052_0030__FAST,R_0052_0029__AS)
            & has_arg0(R_0052_0028__DROVE,R_0052_0027__THEY) )
         => ~ ? [R_0052_0037__THEY,R_0052_0043__BARLETTA,R_0052_0045__MIDDAY,R_0052_0041__TO_R_0052_0042__REACH,R_0052_0025__AND_R_0052_0038__COULD_R_0052_0040__HOPE] :
                ( r_0052_0037__they(R_0052_0037__THEY)
                & r_0052_0043__Barletta(R_0052_0043__BARLETTA)
                & r_0052_0045__midday(R_0052_0045__MIDDAY)
                & r_0052_0025__and_r_0052_0038__could_r_0052_0040__hope(R_0052_0025__AND_R_0052_0038__COULD_R_0052_0040__HOPE)
                & has_arg1(R_0052_0025__AND_R_0052_0038__COULD_R_0052_0040__HOPE,R_0052_0041__TO_R_0052_0042__REACH)
                & r_0052_0041__to_r_0052_0042__reach(R_0052_0041__TO_R_0052_0042__REACH)
                & has_r_0052_0044__before_nim128(R_0052_0041__TO_R_0052_0042__REACH,R_0052_0045__MIDDAY)
                & has_arg1(R_0052_0041__TO_R_0052_0042__REACH,R_0052_0043__BARLETTA)
                & has_arg0(R_0052_0041__TO_R_0052_0042__REACH,R_0052_0037__THEY)
                & has_arg0(R_0052_0025__AND_R_0052_0038__COULD_R_0052_0040__HOPE,R_0052_0037__THEY) ) )
      & has_conj1(Z_000_52_A_LOB_N01_2,R_0052_0001__PROVIDED)
      & r_0052_0001__Provided(R_0052_0001__PROVIDED)
      & has_arg0(R_0052_0001__PROVIDED,Z_000_52_A_LOB_N01_3)
      & has_arg1(R_0052_0001__PROVIDED,R_0052_0004__NOT)
      & ~ r_0052_0003__did_r_0052_0005__stop(R_0052_0003__DID_R_0052_0005__STOP)
      & has_arg1(R_0052_0001__PROVIDED,R_0052_0003__DID_R_0052_0005__STOP)
      & 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)
      & r_0052_0034__would_r_0052_0035__permit(R_0052_0034__WOULD_R_0052_0035__PERMIT)
      & has_arg1(R_0052_0034__WOULD_R_0052_0035__PERMIT,Z_000_52_A_LOB_N01_91)
      & has_arg0(R_0052_0034__WOULD_R_0052_0035__PERMIT,R_0052_0032__THE_R_0052_0033__ROADS) ) ).

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