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 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] 
fof(formula,axiom,
    ? [Z_26_A_DRIVER_HANDBOOK_1,R_26_12_OR,R_26_8_VEHICLES,R_26_7_TOWING,R_26_10_BUSES,R_26_14_TRUCKS,R_26_13_LARGE,R_26_1_SECTION_5,R_26_5_SPEEDS,R_26_4_REDUCED] :
      ( towing(R_26_7_TOWING)
      & buses(R_26_10_BUSES)
      & large(R_26_13_LARGE)
      & section_5(R_26_1_SECTION_5)
      & reduced(R_26_4_REDUCED)
      & z_26_a_driver_handbook_1(Z_26_A_DRIVER_HANDBOOK_1)
      & nim17(Z_26_A_DRIVER_HANDBOOK_1,R_26_12_OR)
      & or(R_26_12_OR)
      & conj1(R_26_12_OR,R_26_8_VEHICLES)
      & vehicles(R_26_8_VEHICLES)
      & attrib20(R_26_8_VEHICLES,R_26_7_TOWING)
      & conj2(R_26_12_OR,R_26_10_BUSES)
      & conj3(R_26_12_OR,R_26_14_TRUCKS)
      & trucks(R_26_14_TRUCKS)
      & attrib37(R_26_14_TRUCKS,R_26_13_LARGE)
      & nim2(Z_26_A_DRIVER_HANDBOOK_1,R_26_1_SECTION_5)
      & nim9(Z_26_A_DRIVER_HANDBOOK_1,R_26_5_SPEEDS)
      & speeds(R_26_5_SPEEDS)
      & attrib10(R_26_5_SPEEDS,R_26_4_REDUCED) ) ).


n26_a_driver_handbook n26_a_driver_handbook_4 Section n26_a_driver_handbook_6 5 n26_a_driver_handbook_8 : n26_a_driver_handbook_12 Reduced n26_a_driver_handbook_14 Speeds n26_a_driver_handbook_16 : n26_a_driver_handbook_22 Towing n26_a_driver_handbook_24 Vehicles n26_a_driver_handbook_26 , n26_a_driver_handbook_30 Buses n26_a_driver_handbook_32 , n26_a_driver_handbook_35 or n26_a_driver_handbook_39 Large n26_a_driver_handbook_41 Trucks n26_a_driver_handbook_1 FRAG n26_a_driver_handbook_2 NP n26_a_driver_handbook_1->n26_a_driver_handbook_2 n26_a_driver_handbook_7 PUNC n26_a_driver_handbook_1->n26_a_driver_handbook_7 n26_a_driver_handbook_9 NP n26_a_driver_handbook_1->n26_a_driver_handbook_9 n26_a_driver_handbook_15 PUNC n26_a_driver_handbook_1->n26_a_driver_handbook_15 n26_a_driver_handbook_17 NP n26_a_driver_handbook_1->n26_a_driver_handbook_17 n26_a_driver_handbook_3 N n26_a_driver_handbook_2->n26_a_driver_handbook_3 n26_a_driver_handbook_5 NUM n26_a_driver_handbook_2->n26_a_driver_handbook_5 n26_a_driver_handbook_3->n26_a_driver_handbook_4 n26_a_driver_handbook_5->n26_a_driver_handbook_6 n26_a_driver_handbook_7->n26_a_driver_handbook_8 n26_a_driver_handbook_10 ADJP n26_a_driver_handbook_9->n26_a_driver_handbook_10 n26_a_driver_handbook_13 NS n26_a_driver_handbook_9->n26_a_driver_handbook_13 n26_a_driver_handbook_11 ADJ n26_a_driver_handbook_10->n26_a_driver_handbook_11 n26_a_driver_handbook_11->n26_a_driver_handbook_12 n26_a_driver_handbook_13->n26_a_driver_handbook_14 n26_a_driver_handbook_15->n26_a_driver_handbook_16 n26_a_driver_handbook_18 NLYR n26_a_driver_handbook_17->n26_a_driver_handbook_18 n26_a_driver_handbook_19 NLYR n26_a_driver_handbook_18->n26_a_driver_handbook_19 n26_a_driver_handbook_25 PUNC n26_a_driver_handbook_18->n26_a_driver_handbook_25 n26_a_driver_handbook_27 CONJP n26_a_driver_handbook_18->n26_a_driver_handbook_27 n26_a_driver_handbook_31 PUNC n26_a_driver_handbook_18->n26_a_driver_handbook_31 n26_a_driver_handbook_33 CONJP n26_a_driver_handbook_18->n26_a_driver_handbook_33 n26_a_driver_handbook_20 ADJP n26_a_driver_handbook_19->n26_a_driver_handbook_20 n26_a_driver_handbook_23 NS n26_a_driver_handbook_19->n26_a_driver_handbook_23 n26_a_driver_handbook_21 ADJ n26_a_driver_handbook_20->n26_a_driver_handbook_21 n26_a_driver_handbook_21->n26_a_driver_handbook_22 n26_a_driver_handbook_23->n26_a_driver_handbook_24 n26_a_driver_handbook_25->n26_a_driver_handbook_26 n26_a_driver_handbook_28 NLYR n26_a_driver_handbook_27->n26_a_driver_handbook_28 n26_a_driver_handbook_29 NS n26_a_driver_handbook_28->n26_a_driver_handbook_29 n26_a_driver_handbook_29->n26_a_driver_handbook_30 n26_a_driver_handbook_31->n26_a_driver_handbook_32 n26_a_driver_handbook_34 CONJ n26_a_driver_handbook_33->n26_a_driver_handbook_34 n26_a_driver_handbook_36 NLYR n26_a_driver_handbook_33->n26_a_driver_handbook_36 n26_a_driver_handbook_34->n26_a_driver_handbook_35 n26_a_driver_handbook_37 ADJP n26_a_driver_handbook_36->n26_a_driver_handbook_37 n26_a_driver_handbook_40 NS n26_a_driver_handbook_36->n26_a_driver_handbook_40 n26_a_driver_handbook_38 ADJ n26_a_driver_handbook_37->n26_a_driver_handbook_38 n26_a_driver_handbook_38->n26_a_driver_handbook_39 n26_a_driver_handbook_40->n26_a_driver_handbook_41 
( (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))