Context                Previous, Next                Top


21_a_driver_handbook
Section 4: Reduced Speeds: Heavy Traffic or Bad Weather

%3 r_0021_0005__Speeds Speeds r_0021_0004__Reduced Reduced r_0021_0005__Speeds->r_0021_0004__Reduced [attrib] r_0021_0008__Traffic Traffic r_0021_0007__Heavy Heavy r_0021_0008__Traffic->r_0021_0007__Heavy [attrib] r_0021_0009__or or r_0021_0009__or->r_0021_0008__Traffic [conj1] r_0021_0011__Weather Weather r_0021_0009__or->r_0021_0011__Weather [conj2] r_0021_0010__Bad Bad r_0021_0011__Weather->r_0021_0010__Bad [attrib] z_000_21_a_driver_handbook_1 z_000_21_a_driver_handbook_1->r_0021_0005__Speeds [nim] z_000_21_a_driver_handbook_1->r_0021_0009__or [nim] r_0021_0001__Section_r_0021_0002__4 Section 4 z_000_21_a_driver_handbook_1->r_0021_0001__Section_r_0021_0002__4 [nim] 
arc(r_0021_0005__Speeds, r_0021_0004__Reduced, attrib10).
arc(r_0021_0008__Traffic, r_0021_0007__Heavy, attrib20).
arc(r_0021_0009__or, r_0021_0008__Traffic, conj1).
arc(r_0021_0009__or, r_0021_0011__Weather, conj2).
arc(r_0021_0011__Weather, r_0021_0010__Bad, attrib29).
arc(z_000_21_a_driver_handbook_1, r_0021_0001__Section_r_0021_0002__4, nim2).
arc(z_000_21_a_driver_handbook_1, r_0021_0005__Speeds, nim9).
arc(z_000_21_a_driver_handbook_1, r_0021_0009__or, nim17).


%3 r_0021_0005__Speeds Speeds r_0021_0004__Reduced Reduced r_0021_0005__Speeds->r_0021_0004__Reduced [attrib] r_0021_0008__Traffic Traffic r_0021_0007__Heavy Heavy r_0021_0008__Traffic->r_0021_0007__Heavy [attrib] r_0021_0009__or or r_0021_0009__or->r_0021_0008__Traffic [conj1] r_0021_0011__Weather Weather r_0021_0009__or->r_0021_0011__Weather [conj2] r_0021_0010__Bad Bad r_0021_0011__Weather->r_0021_0010__Bad [attrib] z_000_21_a_driver_handbook_1 z_000_21_a_driver_handbook_1->r_0021_0005__Speeds [nim] z_000_21_a_driver_handbook_1->r_0021_0009__or [nim] r_0021_0001__Section_r_0021_0002__4 Section 4 z_000_21_a_driver_handbook_1->r_0021_0001__Section_r_0021_0002__4 [nim] 
fof(formula,axiom,
    ? [Z_21_A_DRIVER_HANDBOOK_1,R_21_9_OR,R_21_8_TRAFFIC,R_21_7_HEAVY,R_21_11_WEATHER,R_21_10_BAD,R_21_1_SECTION_4,R_21_5_SPEEDS,R_21_4_REDUCED] :
      ( heavy(R_21_7_HEAVY)
      & bad(R_21_10_BAD)
      & section_4(R_21_1_SECTION_4)
      & reduced(R_21_4_REDUCED)
      & z_21_a_driver_handbook_1(Z_21_A_DRIVER_HANDBOOK_1)
      & nim17(Z_21_A_DRIVER_HANDBOOK_1,R_21_9_OR)
      & or(R_21_9_OR)
      & conj1(R_21_9_OR,R_21_8_TRAFFIC)
      & traffic(R_21_8_TRAFFIC)
      & attrib20(R_21_8_TRAFFIC,R_21_7_HEAVY)
      & conj2(R_21_9_OR,R_21_11_WEATHER)
      & weather(R_21_11_WEATHER)
      & attrib29(R_21_11_WEATHER,R_21_10_BAD)
      & nim2(Z_21_A_DRIVER_HANDBOOK_1,R_21_1_SECTION_4)
      & nim9(Z_21_A_DRIVER_HANDBOOK_1,R_21_5_SPEEDS)
      & speeds(R_21_5_SPEEDS)
      & attrib10(R_21_5_SPEEDS,R_21_4_REDUCED) ) ).


n21_a_driver_handbook n21_a_driver_handbook_4 Section n21_a_driver_handbook_6 4 n21_a_driver_handbook_8 : n21_a_driver_handbook_12 Reduced n21_a_driver_handbook_14 Speeds n21_a_driver_handbook_16 : n21_a_driver_handbook_22 Heavy n21_a_driver_handbook_24 Traffic n21_a_driver_handbook_27 or n21_a_driver_handbook_31 Bad n21_a_driver_handbook_33 Weather n21_a_driver_handbook_1 FRAG n21_a_driver_handbook_2 NP n21_a_driver_handbook_1->n21_a_driver_handbook_2 n21_a_driver_handbook_7 PUNC n21_a_driver_handbook_1->n21_a_driver_handbook_7 n21_a_driver_handbook_9 NP n21_a_driver_handbook_1->n21_a_driver_handbook_9 n21_a_driver_handbook_15 PUNC n21_a_driver_handbook_1->n21_a_driver_handbook_15 n21_a_driver_handbook_17 NP n21_a_driver_handbook_1->n21_a_driver_handbook_17 n21_a_driver_handbook_3 N n21_a_driver_handbook_2->n21_a_driver_handbook_3 n21_a_driver_handbook_5 NUM n21_a_driver_handbook_2->n21_a_driver_handbook_5 n21_a_driver_handbook_3->n21_a_driver_handbook_4 n21_a_driver_handbook_5->n21_a_driver_handbook_6 n21_a_driver_handbook_7->n21_a_driver_handbook_8 n21_a_driver_handbook_10 ADJP n21_a_driver_handbook_9->n21_a_driver_handbook_10 n21_a_driver_handbook_13 NS n21_a_driver_handbook_9->n21_a_driver_handbook_13 n21_a_driver_handbook_11 ADJ n21_a_driver_handbook_10->n21_a_driver_handbook_11 n21_a_driver_handbook_11->n21_a_driver_handbook_12 n21_a_driver_handbook_13->n21_a_driver_handbook_14 n21_a_driver_handbook_15->n21_a_driver_handbook_16 n21_a_driver_handbook_18 NLYR n21_a_driver_handbook_17->n21_a_driver_handbook_18 n21_a_driver_handbook_19 NLYR n21_a_driver_handbook_18->n21_a_driver_handbook_19 n21_a_driver_handbook_25 CONJP n21_a_driver_handbook_18->n21_a_driver_handbook_25 n21_a_driver_handbook_20 ADJP n21_a_driver_handbook_19->n21_a_driver_handbook_20 n21_a_driver_handbook_23 N n21_a_driver_handbook_19->n21_a_driver_handbook_23 n21_a_driver_handbook_21 ADJ n21_a_driver_handbook_20->n21_a_driver_handbook_21 n21_a_driver_handbook_21->n21_a_driver_handbook_22 n21_a_driver_handbook_23->n21_a_driver_handbook_24 n21_a_driver_handbook_26 CONJ n21_a_driver_handbook_25->n21_a_driver_handbook_26 n21_a_driver_handbook_28 NLYR n21_a_driver_handbook_25->n21_a_driver_handbook_28 n21_a_driver_handbook_26->n21_a_driver_handbook_27 n21_a_driver_handbook_29 ADJP n21_a_driver_handbook_28->n21_a_driver_handbook_29 n21_a_driver_handbook_32 N n21_a_driver_handbook_28->n21_a_driver_handbook_32 n21_a_driver_handbook_30 ADJ n21_a_driver_handbook_29->n21_a_driver_handbook_30 n21_a_driver_handbook_30->n21_a_driver_handbook_31 n21_a_driver_handbook_32->n21_a_driver_handbook_33 
( (FRAG (NP (N Section;{section})
            (NUM 4))
        (PUNC :)
        (NP (ADJP (ADJ Reduced;{reduced}))
            (NS Speeds;{speed}))
        (PUNC :)
        (NP (NLYR (NLYR (ADJP (ADJ Heavy;{heavy}))
                        (N Traffic;{traffic}))
                  (CONJP (CONJ or;{or})
                         (NLYR (ADJP (ADJ Bad;{bad}))
                               (N Weather;{weather}))))))
  (ID 21_a_driver_handbook))