Context                Previous, Next                Top


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

%3 r_0026_0005__Speeds Speeds r_0026_0004__Reduced Reduced r_0026_0005__Speeds->r_0026_0004__Reduced [attrib] r_0026_0008__Vehicles Vehicles r_0026_0007__Towing Towing r_0026_0008__Vehicles->r_0026_0007__Towing [attrib] r_0026_0012__or or r_0026_0012__or->r_0026_0008__Vehicles [conj1] r_0026_0010__Buses Buses r_0026_0012__or->r_0026_0010__Buses [conj2] r_0026_0014__Trucks Trucks r_0026_0012__or->r_0026_0014__Trucks [conj3] r_0026_0013__Large Large r_0026_0014__Trucks->r_0026_0013__Large [attrib] z_000_26_a_driver_handbook_1 z_000_26_a_driver_handbook_1->r_0026_0005__Speeds [nim] z_000_26_a_driver_handbook_1->r_0026_0012__or [nim] r_0026_0001__Section_r_0026_0002__5 Section 5 z_000_26_a_driver_handbook_1->r_0026_0001__Section_r_0026_0002__5 [nim] 
arc(r_0026_0005__Speeds, r_0026_0004__Reduced, attrib10).
arc(r_0026_0008__Vehicles, r_0026_0007__Towing, attrib20).
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, attrib37).
arc(z_000_26_a_driver_handbook_1, r_0026_0001__Section_r_0026_0002__5, nim2).
arc(z_000_26_a_driver_handbook_1, r_0026_0005__Speeds, nim9).
arc(z_000_26_a_driver_handbook_1, r_0026_0012__or, nim17).


%3 z_000_26_a_driver_handbook_1 r_0026_0012__or or z_000_26_a_driver_handbook_1->r_0026_0012__or [nim] r_0026_0005__Speeds Speeds z_000_26_a_driver_handbook_1->r_0026_0005__Speeds [nim] r_0026_0001__Section_r_0026_0002__5 Section 5 z_000_26_a_driver_handbook_1->r_0026_0001__Section_r_0026_0002__5 [nim] r_0026_0014__Trucks Trucks r_0026_0012__or->r_0026_0014__Trucks [conj3] r_0026_0010__Buses Buses r_0026_0012__or->r_0026_0010__Buses [conj2] r_0026_0008__Vehicles Vehicles r_0026_0012__or->r_0026_0008__Vehicles [conj1] r_0026_0004__Reduced Reduced r_0026_0005__Speeds->r_0026_0004__Reduced [attrib] r_0026_0013__Large Large r_0026_0014__Trucks->r_0026_0013__Large [attrib] r_0026_0007__Towing Towing r_0026_0008__Vehicles->r_0026_0007__Towing [attrib] 
fof(formula,axiom,
    ? [R_0026_0001__SECTION_R_0026_0002__5,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_000_26_A_DRIVER_HANDBOOK_1] :
      ( 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_000_26_a_driver_handbook_1(Z_000_26_A_DRIVER_HANDBOOK_1)
      & has_nim17(Z_000_26_A_DRIVER_HANDBOOK_1,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_attrib37(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_attrib20(R_0026_0008__VEHICLES,R_0026_0007__TOWING)
      & has_nim9(Z_000_26_A_DRIVER_HANDBOOK_1,R_0026_0005__SPEEDS)
      & r_0026_0005__Speeds(R_0026_0005__SPEEDS)
      & has_attrib10(R_0026_0005__SPEEDS,R_0026_0004__REDUCED)
      & has_nim2(Z_000_26_A_DRIVER_HANDBOOK_1,R_0026_0001__SECTION_R_0026_0002__5) ) ).


n26_a_driver_handbook n26_a_driver_handbook__1_1_1_1 Section n26_a_driver_handbook__1_1_2_1 5 n26_a_driver_handbook__1_2_1 : n26_a_driver_handbook__1_3_1_1_1 Reduced n26_a_driver_handbook__1_3_2_1 Speeds n26_a_driver_handbook__1_4_1 : n26_a_driver_handbook__1_5_1_1_1_1_1 Towing n26_a_driver_handbook__1_5_1_1_2_1 Vehicles n26_a_driver_handbook__1_5_1_2_1 , n26_a_driver_handbook__1_5_1_3_1_1_1 Buses n26_a_driver_handbook__1_5_1_4_1 , n26_a_driver_handbook__1_5_1_5_1_1 or n26_a_driver_handbook__1_5_1_5_2_1_1_1 Large n26_a_driver_handbook__1_5_1_5_2_2_1 Trucks n26_a_driver_handbook__1 FRAG n26_a_driver_handbook__1_1 NP n26_a_driver_handbook__1->n26_a_driver_handbook__1_1 n26_a_driver_handbook__1_2 PUNC n26_a_driver_handbook__1->n26_a_driver_handbook__1_2 n26_a_driver_handbook__1_3 NP n26_a_driver_handbook__1->n26_a_driver_handbook__1_3 n26_a_driver_handbook__1_4 PUNC n26_a_driver_handbook__1->n26_a_driver_handbook__1_4 n26_a_driver_handbook__1_5 NP n26_a_driver_handbook__1->n26_a_driver_handbook__1_5 n26_a_driver_handbook__1_1_1 N n26_a_driver_handbook__1_1->n26_a_driver_handbook__1_1_1 n26_a_driver_handbook__1_1_2 NUM n26_a_driver_handbook__1_1->n26_a_driver_handbook__1_1_2 n26_a_driver_handbook__1_1_1->n26_a_driver_handbook__1_1_1_1 n26_a_driver_handbook__1_1_2->n26_a_driver_handbook__1_1_2_1 n26_a_driver_handbook__1_2->n26_a_driver_handbook__1_2_1 n26_a_driver_handbook__1_3_1 ADJP n26_a_driver_handbook__1_3->n26_a_driver_handbook__1_3_1 n26_a_driver_handbook__1_3_2 NS n26_a_driver_handbook__1_3->n26_a_driver_handbook__1_3_2 n26_a_driver_handbook__1_3_1_1 ADJ n26_a_driver_handbook__1_3_1->n26_a_driver_handbook__1_3_1_1 n26_a_driver_handbook__1_3_1_1->n26_a_driver_handbook__1_3_1_1_1 n26_a_driver_handbook__1_3_2->n26_a_driver_handbook__1_3_2_1 n26_a_driver_handbook__1_4->n26_a_driver_handbook__1_4_1 n26_a_driver_handbook__1_5_1 NLYR n26_a_driver_handbook__1_5->n26_a_driver_handbook__1_5_1 n26_a_driver_handbook__1_5_1_1 NLYR n26_a_driver_handbook__1_5_1->n26_a_driver_handbook__1_5_1_1 n26_a_driver_handbook__1_5_1_2 PUNC n26_a_driver_handbook__1_5_1->n26_a_driver_handbook__1_5_1_2 n26_a_driver_handbook__1_5_1_3 CONJP n26_a_driver_handbook__1_5_1->n26_a_driver_handbook__1_5_1_3 n26_a_driver_handbook__1_5_1_4 PUNC n26_a_driver_handbook__1_5_1->n26_a_driver_handbook__1_5_1_4 n26_a_driver_handbook__1_5_1_5 CONJP n26_a_driver_handbook__1_5_1->n26_a_driver_handbook__1_5_1_5 n26_a_driver_handbook__1_5_1_1_1 ADJP n26_a_driver_handbook__1_5_1_1->n26_a_driver_handbook__1_5_1_1_1 n26_a_driver_handbook__1_5_1_1_2 NS n26_a_driver_handbook__1_5_1_1->n26_a_driver_handbook__1_5_1_1_2 n26_a_driver_handbook__1_5_1_1_1_1 ADJ n26_a_driver_handbook__1_5_1_1_1->n26_a_driver_handbook__1_5_1_1_1_1 n26_a_driver_handbook__1_5_1_1_1_1->n26_a_driver_handbook__1_5_1_1_1_1_1 n26_a_driver_handbook__1_5_1_1_2->n26_a_driver_handbook__1_5_1_1_2_1 n26_a_driver_handbook__1_5_1_2->n26_a_driver_handbook__1_5_1_2_1 n26_a_driver_handbook__1_5_1_3_1 NLYR n26_a_driver_handbook__1_5_1_3->n26_a_driver_handbook__1_5_1_3_1 n26_a_driver_handbook__1_5_1_3_1_1 NS n26_a_driver_handbook__1_5_1_3_1->n26_a_driver_handbook__1_5_1_3_1_1 n26_a_driver_handbook__1_5_1_3_1_1->n26_a_driver_handbook__1_5_1_3_1_1_1 n26_a_driver_handbook__1_5_1_4->n26_a_driver_handbook__1_5_1_4_1 n26_a_driver_handbook__1_5_1_5_1 CONJ n26_a_driver_handbook__1_5_1_5->n26_a_driver_handbook__1_5_1_5_1 n26_a_driver_handbook__1_5_1_5_2 NLYR n26_a_driver_handbook__1_5_1_5->n26_a_driver_handbook__1_5_1_5_2 n26_a_driver_handbook__1_5_1_5_1->n26_a_driver_handbook__1_5_1_5_1_1 n26_a_driver_handbook__1_5_1_5_2_1 ADJP n26_a_driver_handbook__1_5_1_5_2->n26_a_driver_handbook__1_5_1_5_2_1 n26_a_driver_handbook__1_5_1_5_2_2 NS n26_a_driver_handbook__1_5_1_5_2->n26_a_driver_handbook__1_5_1_5_2_2 n26_a_driver_handbook__1_5_1_5_2_1_1 ADJ n26_a_driver_handbook__1_5_1_5_2_1->n26_a_driver_handbook__1_5_1_5_2_1_1 n26_a_driver_handbook__1_5_1_5_2_1_1->n26_a_driver_handbook__1_5_1_5_2_1_1_1 n26_a_driver_handbook__1_5_1_5_2_2->n26_a_driver_handbook__1_5_1_5_2_2_1 
( (FRAG (NP (N Section;{section})
            (NUM 5))
        (PUNC :)
        (NP (ADJP (ADJ Reduced;{reduced}))
            (NS Speeds;{speed}))
        (PUNC :)
        (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))