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.

arc(r_0053_0001__Magnificent, z_000_53_a_lob_n01_5, nim5).
arc(r_0053_0003__was, r_0053_0004__the_r_0053_0005__performance, arg0).
arc(r_0053_0003__was, z_000_53_a_lob_n01_5, prd).
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, attrib2).
arc(r_0053_0011__doubted, r_0053_0010__Geoffrey, arg0).
arc(r_0053_0011__doubted, r_0053_0012__whether_r_0053_0042__could, arg1).
arc(r_0053_0012__whether_r_0053_0042__could, r_0053_0014__the_r_0053_0015__route, r_0053_0013__on_nim39).
arc(r_0053_0012__whether_r_0053_0042__could, r_0053_0043__maintain, scope).
arc(r_0053_0017__had, z_000_53_a_lob_n01_57, scope).
arc(r_0053_0018__chosen, r_0053_0014__the_r_0053_0015__route, arg1).
arc(r_0053_0018__chosen, r_0053_0016__they, arg0).
arc(r_0053_0020__involving, r_0053_0016__they, 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, attrib64).
arc(r_0053_0021__a_r_0053_0023__crossing, r_0053_0025__the_r_0053_0026__Apennines, r_0053_0024__of).
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_000_53_a_lob_n01_57, r_0053_0018__chosen, scope).
arc(z_000_53_a_lob_n01_57, r_0053_0020__involving, restriction).

fof(formula,axiom,
    ? [R_0053_0007__THE_R_0053_0008__BENTLEY,R_0053_0004__THE_R_0053_0005__PERFORMANCE,Z_000_53_A_LOB_N01_5,R_0053_0003__WAS,R_0053_0001__MAGNIFICENT,R_0053_0010__GEOFFREY,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_0012__WHETHER_R_0053_0042__COULD_R_0053_0043__MAINTAIN,R_0053_0011__DOUBTED,R_0053_0054__NECESSARY,R_0053_0052__WOULD_R_0053_0053__BE,R_0053_0016__THEY,R_0053_0018__CHOSEN,R_0053_0022__DOUBLE,R_0053_0025__THE_R_0053_0026__APENNINES,R_0053_0021__A_R_0053_0023__CROSSING,R_0053_0020__INVOLVING,Z_000_53_A_LOB_N01_57,R_0053_0017__HAD] :
      ( 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_0014__the_r_0053_0015__route(R_0053_0014__THE_R_0053_0015__ROUTE)
      & 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_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)
      & z_000_53_a_lob_n01_5(Z_000_53_A_LOB_N01_5)
      & r_0053_0017__had(R_0053_0017__HAD)
      & has_keep_scope(R_0053_0017__HAD,Z_000_53_A_LOB_N01_57)
      & z_000_53_a_lob_n01_57(Z_000_53_A_LOB_N01_57)
      & has_conj1(Z_000_53_A_LOB_N01_57,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_r_0053_0024__of(R_0053_0021__A_R_0053_0023__CROSSING,R_0053_0025__THE_R_0053_0026__APENNINES)
      & has_attrib64(R_0053_0021__A_R_0053_0023__CROSSING,R_0053_0022__DOUBLE)
      & has_arg0(R_0053_0020__INVOLVING,R_0053_0016__THEY)
      & has_conj2(Z_000_53_A_LOB_N01_57,R_0053_0018__CHOSEN)
      & r_0053_0018__chosen(R_0053_0018__CHOSEN)
      & has_arg0(R_0053_0018__CHOSEN,R_0053_0016__THEY)
      & has_arg1(R_0053_0018__CHOSEN,R_0053_0014__THE_R_0053_0015__ROUTE)
      & 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_0042__COULD_R_0053_0043__MAINTAIN)
      & r_0053_0012__whether_r_0053_0042__could_r_0053_0043__maintain(R_0053_0012__WHETHER_R_0053_0042__COULD_R_0053_0043__MAINTAIN)
      & has_arg1(R_0053_0012__WHETHER_R_0053_0042__COULD_R_0053_0043__MAINTAIN,R_0053_0044__THE_R_0053_0045__AVERAGE)
      & has_arg0(R_0053_0012__WHETHER_R_0053_0042__COULD_R_0053_0043__MAINTAIN,R_0053_0041__ANYONE)
      & has_r_0053_0013__on_nim39(R_0053_0012__WHETHER_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_attrib2(R_0053_0011__DOUBTED,R_0053_0001__MAGNIFICENT)
      & r_0053_0001__Magnificent(R_0053_0001__MAGNIFICENT)
      & has_nim5(R_0053_0001__MAGNIFICENT,Z_000_53_A_LOB_N01_5)
      & r_0053_0003__was(R_0053_0003__WAS)
      & has_prd(R_0053_0003__WAS,Z_000_53_A_LOB_N01_5)
      & 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) ) ).

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