TSPC 57_a_lob

57_a_lob_n01
No, he concluded, the probability was that they would drive continuously, only stopping for fuel and perhaps to purchase snacks of food and drink.

( (IP-MAT (REACT No)
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ;{GEOFFREY} (PRO he;{he}))
                       (VBD;_Tf_ concluded;{conclude})))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N probability;{probability}))
          (BED;_equ_Vf_ was;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
                              (MD;_cat_Vi_ would;{will})
                              (IP-INF-CAT (VB;_I_ drive;{drive})
                                          (ADVP-NIM (ADV continuously;{continuously})))
                              (PUNC ,)
                              (PP-SCON (IP-PPL (ILYR (ILYR (ADVP-NIM (ADV only;{only}))
                                                           (VAG;__ stopping;{stop})
                                                           (PP-NIM (P-ROLE for;{for})
                                                                   (NP (N fuel;{fuel}))))
                                                     (CONJP (CONJ and;{and})
                                                            (ILYR (ADVP-NIM (ADV perhaps;{perhaps}))
                                                                  (IP-INF-CAT (TO to;{to})
                                                                              (VB;_Tn_ purchase;{purchase})
                                                                              (NP-OB1 (NS snacks;{snack})
                                                                                      (PP (P-ROLE of;{of})
                                                                                          (NP (NLYR (NLYR (N food;{food}))
                                                                                                    (CONJP (CONJ and;{and})
                                                                                                           (NLYR (N drink;{drink})))))))))))))))
          (PUNC .))
  (ID 57_a_lob_n01))

arc(r_0057_0004__concluded,r_0057_0003__he,arg0).
arc(r_0057_0008__was,r_0057_0004__concluded,prn).
arc(r_0057_0008__was,r_0057_0006__the_r_0057_0007__probability,arg0).
arc(r_0057_0008__was,z_0057_5005,prd).
arc(r_0057_0011__would,r_0057_0012__drive,scope).
arc(r_0057_0012__drive,r_0057_0010__they,arg0).
arc(r_0057_0012__drive,r_0057_0013__continuously,nim).
arc(r_0057_0016__stopping,r_0057_0010__they,arg0).
arc(r_0057_0016__stopping,r_0057_0015__only,nim).
arc(r_0057_0016__stopping,r_0057_0018__fuel,r_0057_0017__for__nim).
arc(r_0057_0019__and,r_0057_0016__stopping,conj1).
arc(r_0057_0019__and,z_0057_5017,conj2).
arc(r_0057_0022__purchase,r_0057_0010__they,arg0).
arc(r_0057_0022__purchase,r_0057_0023__snacks,arg1).
arc(r_0057_0023__snacks,r_0057_0026__and,r_0057_0024__of).
arc(r_0057_0026__and,r_0057_0025__food,conj1).
arc(r_0057_0026__and,r_0057_0027__drink,conj2).
arc(z_0057_5005,r_0057_0011__would,scope).
arc(z_0057_5005,r_0057_0019__and,restriction).
arc(z_0057_5017,r_0057_0020__perhaps,nim).
arc(z_0057_5017,r_0057_0022__purchase,scope).

fof(formula,axiom,
    ? [R_0057_0003__HE,R_0057_0004__CONCLUDED,R_0057_0006__THE_R_0057_0007__PROBABILITY,R_0057_0010__THEY,R_0057_0013__CONTINUOUSLY,R_0057_0011__WOULD_R_0057_0012__DRIVE,R_0057_0015__ONLY,R_0057_0018__FUEL,R_0057_0016__STOPPING,R_0057_0025__FOOD,R_0057_0027__DRINK,R_0057_0026__AND,R_0057_0023__SNACKS,R_0057_0020__PERHAPS,Z_0057_5017_R_0057_0022__PURCHASE,R_0057_0019__AND,Z_0057_5005,R_0057_0008__WAS] :
      ( r_0057_0003__he(R_0057_0003__HE)
      & r_0057_0006__the_r_0057_0007__probability(R_0057_0006__THE_R_0057_0007__PROBABILITY)
      & r_0057_0010__they(R_0057_0010__THEY)
      & r_0057_0013__continuously(R_0057_0013__CONTINUOUSLY)
      & r_0057_0015__only(R_0057_0015__ONLY)
      & r_0057_0018__fuel(R_0057_0018__FUEL)
      & r_0057_0020__perhaps(R_0057_0020__PERHAPS)
      & r_0057_0025__food(R_0057_0025__FOOD)
      & r_0057_0027__drink(R_0057_0027__DRINK)
      & r_0057_0008__was(R_0057_0008__WAS)
      & has_prd(R_0057_0008__WAS,Z_0057_5005)
      & z_0057_5005(Z_0057_5005)
      & has_conj1(Z_0057_5005,R_0057_0019__AND)
      & r_0057_0019__and(R_0057_0019__AND)
      & has_conj2(R_0057_0019__AND,Z_0057_5017_R_0057_0022__PURCHASE)
      & z_0057_5017_r_0057_0022__purchase(Z_0057_5017_R_0057_0022__PURCHASE)
      & has_nim(Z_0057_5017_R_0057_0022__PURCHASE,R_0057_0020__PERHAPS)
      & has_arg1(Z_0057_5017_R_0057_0022__PURCHASE,R_0057_0023__SNACKS)
      & r_0057_0023__snacks(R_0057_0023__SNACKS)
      & has_r_0057_0024__of(R_0057_0023__SNACKS,R_0057_0026__AND)
      & r_0057_0026__and(R_0057_0026__AND)
      & has_conj2(R_0057_0026__AND,R_0057_0027__DRINK)
      & has_conj1(R_0057_0026__AND,R_0057_0025__FOOD)
      & has_arg0(Z_0057_5017_R_0057_0022__PURCHASE,R_0057_0010__THEY)
      & has_conj1(R_0057_0019__AND,R_0057_0016__STOPPING)
      & r_0057_0016__stopping(R_0057_0016__STOPPING)
      & has_r_0057_0017__for__nim(R_0057_0016__STOPPING,R_0057_0018__FUEL)
      & has_nim(R_0057_0016__STOPPING,R_0057_0015__ONLY)
      & has_arg0(R_0057_0016__STOPPING,R_0057_0010__THEY)
      & has_conj2(Z_0057_5005,R_0057_0011__WOULD_R_0057_0012__DRIVE)
      & r_0057_0011__would_r_0057_0012__drive(R_0057_0011__WOULD_R_0057_0012__DRIVE)
      & has_nim(R_0057_0011__WOULD_R_0057_0012__DRIVE,R_0057_0013__CONTINUOUSLY)
      & has_arg0(R_0057_0011__WOULD_R_0057_0012__DRIVE,R_0057_0010__THEY)
      & has_arg0(R_0057_0008__WAS,R_0057_0006__THE_R_0057_0007__PROBABILITY)
      & has_prn(R_0057_0008__WAS,R_0057_0004__CONCLUDED)
      & r_0057_0004__concluded(R_0057_0004__CONCLUDED)
      & has_arg0(R_0057_0004__CONCLUDED,R_0057_0003__HE) ) ).