TSPC 53_a_lob

53_a_lob_n01
Magnificent as was the performance of the Bentley, Geoffrey doubted whether on the route they had chosen, involving a double crossing of the Apennines — once at Raticosa over the Futa Pass and once again near Campobasso — anyone could maintain the average of forty miles an hour which would be necessary.

( (IP-MAT (ADJP-NIM (ADJ Magnificent;{magnificent})
                    (NP (IP-REL (NP-PRD (RPRO as;{as}))
                                (BED;_Ln_ was;{be})
                                (NP-SBJ (D the;{the})
                                        (N performance;{performance})
                                        (PP (P-ROLE of;{of})
                                            (NP;{BENTLEY} (D the;{the})
                                                          (N Bentley;{bentley})))))))
          (PUNC ,)
          (NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
          (VBD;_Tw_ doubted;{doubt})
          (CP-QUE-OB1 (IP-SUB (WQ whether;{whether})
                              (PP-NIM (P-ROLE on;{on})
                                      (NP (D the;{the})
                                          (N route;{route})
                                          (IP-REL (NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
                                                  (HVD;_cat_Ve_ had;{have})
                                                  (IP-PPL-CAT (NP-OB1 *T*)
                                                              (VVN;__ chosen;{choose})
                                                              (PUNC ,)
                                                              (PP-SCON (IP-PPL (VAG;_Tn_ involving;{involve})
                                                                               (NP-OB1 (D a;{a})
                                                                                       (ADJP (ADJ double;{double}))
                                                                                       (N crossing;{crossing})
                                                                                       (PP (P-ROLE of;{of})
                                                                                           (NP (D the;{the})
                                                                                               (NS Apennines;{apennines})))
                                                                                       (PUNC <mdash>)
                                                                                       (PP (PP (ADVP-NIM (ADV once;{once}))
                                                                                               (P-ROLE at;{at})
                                                                                               (NP (NPR Raticosa;{Raticosa})
                                                                                                   (PP (P-ROLE over;{over})
                                                                                                       (NP (D the;{the})
                                                                                                           (NPR Futa;{Futa})
                                                                                                           (NPR Pass;{Pass})))))
                                                                                           (CONJP (CONJ and;{and})
                                                                                                  (PP (ADVP-NIM (ADVP (ADV once;{once}))
                                                                                                                (ADV again;{again}))
                                                                                                      (P-ROLE near;{near})
                                                                                                      (NP (NPR Campobasso;{Campobasso})))))
                                                                                       (PUNC <mdash>))))))))
                              (NP-SBJ (D;_nphd_ anyone;{anyone}))
                              (MD;_cat_Vi_ could;{can})
                              (IP-INF-CAT (VB;_Tn_ maintain;{maintain})
                                          (NP-OB1 (D the;{the})
                                                  (N average;{average})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (NUM forty;{forty})
                                                          (NS miles;{mile})
                                                          (D an;{an})
                                                          (N hour;{hour})))
                                                  (IP-REL (NP-SBJ (RPRO which;{which}))
                                                          (MD;_cat_Vi_ would;{will})
                                                          (IP-INF-CAT (BE;_La_ be;{be})
                                                                      (ADJP-PRD (ADJ necessary;{necessary}))))))))
          (PUNC .))
  (ID 53_a_lob_n01))

arc(r_0053_0001__Magnificent,r_0053_0002__as,nim).
arc(r_0053_0003__was,r_0053_0002__as,prd).
arc(r_0053_0003__was,r_0053_0004__the_r_0053_0005__performance,arg0).
arc(r_0053_0004__the_r_0053_0005__performance,r_0053_0007__the_r_0053_0008__Bentley,r_0053_0006__of).
arc(r_0053_0011__doubted,r_0053_0001__Magnificent,nim).
arc(r_0053_0011__doubted,r_0053_0010__Geoffrey,arg0).
arc(r_0053_0011__doubted,r_0053_0012__whether,arg1).
arc(r_0053_0012__whether,r_0053_0042__could,keep_scope).
arc(r_0053_0017__had,z_0053_5010,scope).
arc(r_0053_0018__chosen,r_0053_0014__the_r_0053_0015__route,inv_arg1).
arc(r_0053_0018__chosen,r_0053_0016__they,arg0).
arc(r_0053_0020__involving,r_0053_0014__the_r_0053_0015__route,arg0).
arc(r_0053_0020__involving,r_0053_0021__a_r_0053_0023__crossing,arg1).
arc(r_0053_0021__a_r_0053_0023__crossing,r_0053_0022__double,attrib).
arc(r_0053_0021__a_r_0053_0023__crossing,r_0053_0025__the_r_0053_0026__Apennines,r_0053_0024__of).
arc(r_0053_0021__a_r_0053_0023__crossing,r_0053_0035__and,z_0053_5016).
arc(r_0053_0030__Raticosa,r_0053_0032__the_r_0053_0033__Futa_r_0053_0034__Pass,r_0053_0031__over).
arc(r_0053_0035__and,r_0053_0030__Raticosa,r_0053_0028__once_r_0053_0029__at).
arc(r_0053_0035__and,r_0053_0039__Campobasso,r_0053_0036__once_r_0053_0037__again_r_0053_0038__near).
arc(r_0053_0042__could,r_0053_0014__the_r_0053_0015__route,r_0053_0013__on__nim).
arc(r_0053_0042__could,r_0053_0043__maintain,scope).
arc(r_0053_0043__maintain,r_0053_0041__anyone,arg0).
arc(r_0053_0043__maintain,r_0053_0044__the_r_0053_0045__average,arg1).
arc(r_0053_0044__the_r_0053_0045__average,r_0053_0047__forty_r_0053_0048__miles_r_0053_0049__an_r_0053_0050__hour,r_0053_0046__of).
arc(r_0053_0052__would,r_0053_0053__be,scope).
arc(r_0053_0053__be,r_0053_0044__the_r_0053_0045__average,arg0).
arc(r_0053_0053__be,r_0053_0054__necessary,prd).
arc(z_0053_5010,r_0053_0018__chosen,scope).
arc(z_0053_5010,r_0053_0020__involving,restriction).

fof(formula,axiom,
    ? [R_0053_0002__AS,R_0053_0007__THE_R_0053_0008__BENTLEY,R_0053_0004__THE_R_0053_0005__PERFORMANCE,R_0053_0003__WAS,R_0053_0001__MAGNIFICENT,R_0053_0010__GEOFFREY,R_0053_0016__THEY,R_0053_0018__CHOSEN,R_0053_0014__THE_R_0053_0015__ROUTE,R_0053_0041__ANYONE,R_0053_0047__FORTY_R_0053_0048__MILES_R_0053_0049__AN_R_0053_0050__HOUR,R_0053_0044__THE_R_0053_0045__AVERAGE,R_0053_0042__COULD_R_0053_0043__MAINTAIN,R_0053_0012__WHETHER,R_0053_0011__DOUBTED,R_0053_0054__NECESSARY,R_0053_0052__WOULD_R_0053_0053__BE,R_0053_0022__DOUBLE,R_0053_0025__THE_R_0053_0026__APENNINES,R_0053_0032__THE_R_0053_0033__FUTA_R_0053_0034__PASS,R_0053_0030__RATICOSA,R_0053_0039__CAMPOBASSO,R_0053_0035__AND,R_0053_0021__A_R_0053_0023__CROSSING,R_0053_0020__INVOLVING,Z_0053_5010,R_0053_0017__HAD] :
      ( r_0053_0002__as(R_0053_0002__AS)
      & r_0053_0007__the_r_0053_0008__Bentley(R_0053_0007__THE_R_0053_0008__BENTLEY)
      & r_0053_0010__Geoffrey(R_0053_0010__GEOFFREY)
      & r_0053_0016__they(R_0053_0016__THEY)
      & r_0053_0022__double(R_0053_0022__DOUBLE)
      & r_0053_0025__the_r_0053_0026__Apennines(R_0053_0025__THE_R_0053_0026__APENNINES)
      & r_0053_0032__the_r_0053_0033__Futa_r_0053_0034__Pass(R_0053_0032__THE_R_0053_0033__FUTA_R_0053_0034__PASS)
      & r_0053_0039__Campobasso(R_0053_0039__CAMPOBASSO)
      & r_0053_0041__anyone(R_0053_0041__ANYONE)
      & r_0053_0047__forty_r_0053_0048__miles_r_0053_0049__an_r_0053_0050__hour(R_0053_0047__FORTY_R_0053_0048__MILES_R_0053_0049__AN_R_0053_0050__HOUR)
      & r_0053_0054__necessary(R_0053_0054__NECESSARY)
      & r_0053_0017__had(R_0053_0017__HAD)
      & has_keep_scope(R_0053_0017__HAD,Z_0053_5010)
      & z_0053_5010(Z_0053_5010)
      & has_conj1(Z_0053_5010,R_0053_0020__INVOLVING)
      & r_0053_0020__involving(R_0053_0020__INVOLVING)
      & has_arg1(R_0053_0020__INVOLVING,R_0053_0021__A_R_0053_0023__CROSSING)
      & r_0053_0021__a_r_0053_0023__crossing(R_0053_0021__A_R_0053_0023__CROSSING)
      & has_z_0053_5016(R_0053_0021__A_R_0053_0023__CROSSING,R_0053_0035__AND)
      & r_0053_0035__and(R_0053_0035__AND)
      & has_r_0053_0036__once_r_0053_0037__again_r_0053_0038__near(R_0053_0035__AND,R_0053_0039__CAMPOBASSO)
      & has_r_0053_0028__once_r_0053_0029__at(R_0053_0035__AND,R_0053_0030__RATICOSA)
      & r_0053_0030__Raticosa(R_0053_0030__RATICOSA)
      & has_r_0053_0031__over(R_0053_0030__RATICOSA,R_0053_0032__THE_R_0053_0033__FUTA_R_0053_0034__PASS)
      & has_r_0053_0024__of(R_0053_0021__A_R_0053_0023__CROSSING,R_0053_0025__THE_R_0053_0026__APENNINES)
      & has_attrib(R_0053_0021__A_R_0053_0023__CROSSING,R_0053_0022__DOUBLE)
      & has_arg0(R_0053_0020__INVOLVING,R_0053_0014__THE_R_0053_0015__ROUTE)
      & r_0053_0014__the_r_0053_0015__route(R_0053_0014__THE_R_0053_0015__ROUTE)
      & has_inv_arg1(R_0053_0014__THE_R_0053_0015__ROUTE,R_0053_0018__CHOSEN)
      & r_0053_0018__chosen(R_0053_0018__CHOSEN)
      & has_arg0(R_0053_0018__CHOSEN,R_0053_0016__THEY)
      & has_conj2(Z_0053_5010,R_0053_0018__CHOSEN)
      & r_0053_0052__would_r_0053_0053__be(R_0053_0052__WOULD_R_0053_0053__BE)
      & has_prd(R_0053_0052__WOULD_R_0053_0053__BE,R_0053_0054__NECESSARY)
      & has_arg0(R_0053_0052__WOULD_R_0053_0053__BE,R_0053_0044__THE_R_0053_0045__AVERAGE)
      & r_0053_0044__the_r_0053_0045__average(R_0053_0044__THE_R_0053_0045__AVERAGE)
      & has_r_0053_0046__of(R_0053_0044__THE_R_0053_0045__AVERAGE,R_0053_0047__FORTY_R_0053_0048__MILES_R_0053_0049__AN_R_0053_0050__HOUR)
      & r_0053_0011__doubted(R_0053_0011__DOUBTED)
      & has_arg1(R_0053_0011__DOUBTED,R_0053_0012__WHETHER)
      & r_0053_0012__whether(R_0053_0012__WHETHER)
      & has_keep_scope(R_0053_0012__WHETHER,R_0053_0042__COULD_R_0053_0043__MAINTAIN)
      & r_0053_0042__could_r_0053_0043__maintain(R_0053_0042__COULD_R_0053_0043__MAINTAIN)
      & has_arg1(R_0053_0042__COULD_R_0053_0043__MAINTAIN,R_0053_0044__THE_R_0053_0045__AVERAGE)
      & has_arg0(R_0053_0042__COULD_R_0053_0043__MAINTAIN,R_0053_0041__ANYONE)
      & has_r_0053_0013__on__nim(R_0053_0042__COULD_R_0053_0043__MAINTAIN,R_0053_0014__THE_R_0053_0015__ROUTE)
      & has_arg0(R_0053_0011__DOUBTED,R_0053_0010__GEOFFREY)
      & has_nim(R_0053_0011__DOUBTED,R_0053_0001__MAGNIFICENT)
      & r_0053_0001__Magnificent(R_0053_0001__MAGNIFICENT)
      & has_nim(R_0053_0001__MAGNIFICENT,R_0053_0002__AS)
      & r_0053_0003__was(R_0053_0003__WAS)
      & has_arg0(R_0053_0003__WAS,R_0053_0004__THE_R_0053_0005__PERFORMANCE)
      & r_0053_0004__the_r_0053_0005__performance(R_0053_0004__THE_R_0053_0005__PERFORMANCE)
      & has_r_0053_0006__of(R_0053_0004__THE_R_0053_0005__PERFORMANCE,R_0053_0007__THE_R_0053_0008__BENTLEY)
      & has_prd(R_0053_0003__WAS,R_0053_0002__AS) ) ).