TSPC 26_a_driver

26_a_driver_handbook
Section 5: Reduced Speeds: Towing Vehicles, Buses, or Large Trucks

( (NP (N Section;{section})
      (NUM 5)
      (PUNC :)
      (PRN (NP (ADJP (ADJ Reduced;{reduced}))
               (NS Speeds;{speed})
               (PUNC :)
               (PRN (NP (NLYR (NLYR (ADJP (ADJ Towing;{towing}))
                                    (NS Vehicles;{vehicle}))
                              (PUNC ,)
                              (CONJP (NLYR (NS Buses;{bus})))
                              (PUNC ,)
                              (CONJP (CONJ or;{or})
                                     (NLYR (ADJP (ADJ Large;{large}))
                                           (NS Trucks;{truck})))))))))
  (ID 26_a_driver_handbook))

arc(r_0026_0005__Speeds,r_0026_0004__Reduced,attrib).
arc(r_0026_0008__Vehicles,r_0026_0007__Towing,attrib).
arc(r_0026_0012__or,r_0026_0008__Vehicles,conj1).
arc(r_0026_0012__or,r_0026_0010__Buses,conj2).
arc(r_0026_0012__or,r_0026_0014__Trucks,conj3).
arc(r_0026_0014__Trucks,r_0026_0013__Large,attrib).
arc(z_0026_5012,r_0026_0005__Speeds,arg0).
arc(z_0026_5012,r_0026_0012__or,prd).
arc(z_0026_5014,r_0026_0001__Section_r_0026_0002__5,arg0).
arc(z_0026_5014,r_0026_0005__Speeds,prd).
arc(z_0026_5016,r_0026_0001__Section_r_0026_0002__5,z_0026_5002).

fof(formula,axiom,
    ? [R_0026_0004__REDUCED,R_0026_0005__SPEEDS,R_0026_0007__TOWING,R_0026_0008__VEHICLES,R_0026_0010__BUSES,R_0026_0013__LARGE,R_0026_0014__TRUCKS,R_0026_0012__OR,Z_0026_5012,R_0026_0001__SECTION_R_0026_0002__5,Z_0026_5014,Z_0026_5016] :
      ( r_0026_0001__Section_r_0026_0002__5(R_0026_0001__SECTION_R_0026_0002__5)
      & r_0026_0004__Reduced(R_0026_0004__REDUCED)
      & r_0026_0007__Towing(R_0026_0007__TOWING)
      & r_0026_0010__Buses(R_0026_0010__BUSES)
      & r_0026_0013__Large(R_0026_0013__LARGE)
      & z_0026_5016(Z_0026_5016)
      & has_z_0026_5002(Z_0026_5016,R_0026_0001__SECTION_R_0026_0002__5)
      & z_0026_5014(Z_0026_5014)
      & has_prd(Z_0026_5014,R_0026_0005__SPEEDS)
      & r_0026_0005__Speeds(R_0026_0005__SPEEDS)
      & has_attrib(R_0026_0005__SPEEDS,R_0026_0004__REDUCED)
      & has_arg0(Z_0026_5014,R_0026_0001__SECTION_R_0026_0002__5)
      & z_0026_5012(Z_0026_5012)
      & has_prd(Z_0026_5012,R_0026_0012__OR)
      & r_0026_0012__or(R_0026_0012__OR)
      & has_conj3(R_0026_0012__OR,R_0026_0014__TRUCKS)
      & r_0026_0014__Trucks(R_0026_0014__TRUCKS)
      & has_attrib(R_0026_0014__TRUCKS,R_0026_0013__LARGE)
      & has_conj2(R_0026_0012__OR,R_0026_0010__BUSES)
      & has_conj1(R_0026_0012__OR,R_0026_0008__VEHICLES)
      & r_0026_0008__Vehicles(R_0026_0008__VEHICLES)
      & has_attrib(R_0026_0008__VEHICLES,R_0026_0007__TOWING)
      & has_arg0(Z_0026_5012,R_0026_0005__SPEEDS) ) ).