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 z_000_21_a_driver_handbook_1 r_0021_0009__or or z_000_21_a_driver_handbook_1->r_0021_0009__or [nim] r_0021_0005__Speeds Speeds z_000_21_a_driver_handbook_1->r_0021_0005__Speeds [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] r_0021_0011__Weather Weather r_0021_0009__or->r_0021_0011__Weather [conj2] r_0021_0008__Traffic Traffic r_0021_0009__or->r_0021_0008__Traffic [conj1] r_0021_0004__Reduced Reduced r_0021_0005__Speeds->r_0021_0004__Reduced [attrib] r_0021_0010__Bad Bad r_0021_0011__Weather->r_0021_0010__Bad [attrib] r_0021_0007__Heavy Heavy r_0021_0008__Traffic->r_0021_0007__Heavy [attrib] 
fof(formula,axiom,
    ? [R_0021_0001__SECTION_R_0021_0002__4,R_0021_0004__REDUCED,R_0021_0005__SPEEDS,R_0021_0007__HEAVY,R_0021_0008__TRAFFIC,R_0021_0010__BAD,R_0021_0011__WEATHER,R_0021_0009__OR,Z_000_21_A_DRIVER_HANDBOOK_1] :
      ( r_0021_0001__Section_r_0021_0002__4(R_0021_0001__SECTION_R_0021_0002__4)
      & r_0021_0004__Reduced(R_0021_0004__REDUCED)
      & r_0021_0007__Heavy(R_0021_0007__HEAVY)
      & r_0021_0010__Bad(R_0021_0010__BAD)
      & z_000_21_a_driver_handbook_1(Z_000_21_A_DRIVER_HANDBOOK_1)
      & has_nim17(Z_000_21_A_DRIVER_HANDBOOK_1,R_0021_0009__OR)
      & r_0021_0009__or(R_0021_0009__OR)
      & has_conj2(R_0021_0009__OR,R_0021_0011__WEATHER)
      & r_0021_0011__Weather(R_0021_0011__WEATHER)
      & has_attrib29(R_0021_0011__WEATHER,R_0021_0010__BAD)
      & has_conj1(R_0021_0009__OR,R_0021_0008__TRAFFIC)
      & r_0021_0008__Traffic(R_0021_0008__TRAFFIC)
      & has_attrib20(R_0021_0008__TRAFFIC,R_0021_0007__HEAVY)
      & has_nim9(Z_000_21_A_DRIVER_HANDBOOK_1,R_0021_0005__SPEEDS)
      & r_0021_0005__Speeds(R_0021_0005__SPEEDS)
      & has_attrib10(R_0021_0005__SPEEDS,R_0021_0004__REDUCED)
      & has_nim2(Z_000_21_A_DRIVER_HANDBOOK_1,R_0021_0001__SECTION_R_0021_0002__4) ) ).


n21_a_driver_handbook n21_a_driver_handbook__1_1_1_1 Section n21_a_driver_handbook__1_1_2_1 4 n21_a_driver_handbook__1_2_1 : n21_a_driver_handbook__1_3_1_1_1 Reduced n21_a_driver_handbook__1_3_2_1 Speeds n21_a_driver_handbook__1_4_1 : n21_a_driver_handbook__1_5_1_1_1_1_1 Heavy n21_a_driver_handbook__1_5_1_1_2_1 Traffic n21_a_driver_handbook__1_5_1_2_1_1 or n21_a_driver_handbook__1_5_1_2_2_1_1_1 Bad n21_a_driver_handbook__1_5_1_2_2_2_1 Weather n21_a_driver_handbook__1 FRAG n21_a_driver_handbook__1_1 NP n21_a_driver_handbook__1->n21_a_driver_handbook__1_1 n21_a_driver_handbook__1_2 PUNC n21_a_driver_handbook__1->n21_a_driver_handbook__1_2 n21_a_driver_handbook__1_3 NP n21_a_driver_handbook__1->n21_a_driver_handbook__1_3 n21_a_driver_handbook__1_4 PUNC n21_a_driver_handbook__1->n21_a_driver_handbook__1_4 n21_a_driver_handbook__1_5 NP n21_a_driver_handbook__1->n21_a_driver_handbook__1_5 n21_a_driver_handbook__1_1_1 N n21_a_driver_handbook__1_1->n21_a_driver_handbook__1_1_1 n21_a_driver_handbook__1_1_2 NUM n21_a_driver_handbook__1_1->n21_a_driver_handbook__1_1_2 n21_a_driver_handbook__1_1_1->n21_a_driver_handbook__1_1_1_1 n21_a_driver_handbook__1_1_2->n21_a_driver_handbook__1_1_2_1 n21_a_driver_handbook__1_2->n21_a_driver_handbook__1_2_1 n21_a_driver_handbook__1_3_1 ADJP n21_a_driver_handbook__1_3->n21_a_driver_handbook__1_3_1 n21_a_driver_handbook__1_3_2 NS n21_a_driver_handbook__1_3->n21_a_driver_handbook__1_3_2 n21_a_driver_handbook__1_3_1_1 ADJ n21_a_driver_handbook__1_3_1->n21_a_driver_handbook__1_3_1_1 n21_a_driver_handbook__1_3_1_1->n21_a_driver_handbook__1_3_1_1_1 n21_a_driver_handbook__1_3_2->n21_a_driver_handbook__1_3_2_1 n21_a_driver_handbook__1_4->n21_a_driver_handbook__1_4_1 n21_a_driver_handbook__1_5_1 NLYR n21_a_driver_handbook__1_5->n21_a_driver_handbook__1_5_1 n21_a_driver_handbook__1_5_1_1 NLYR n21_a_driver_handbook__1_5_1->n21_a_driver_handbook__1_5_1_1 n21_a_driver_handbook__1_5_1_2 CONJP n21_a_driver_handbook__1_5_1->n21_a_driver_handbook__1_5_1_2 n21_a_driver_handbook__1_5_1_1_1 ADJP n21_a_driver_handbook__1_5_1_1->n21_a_driver_handbook__1_5_1_1_1 n21_a_driver_handbook__1_5_1_1_2 N n21_a_driver_handbook__1_5_1_1->n21_a_driver_handbook__1_5_1_1_2 n21_a_driver_handbook__1_5_1_1_1_1 ADJ n21_a_driver_handbook__1_5_1_1_1->n21_a_driver_handbook__1_5_1_1_1_1 n21_a_driver_handbook__1_5_1_1_1_1->n21_a_driver_handbook__1_5_1_1_1_1_1 n21_a_driver_handbook__1_5_1_1_2->n21_a_driver_handbook__1_5_1_1_2_1 n21_a_driver_handbook__1_5_1_2_1 CONJ n21_a_driver_handbook__1_5_1_2->n21_a_driver_handbook__1_5_1_2_1 n21_a_driver_handbook__1_5_1_2_2 NLYR n21_a_driver_handbook__1_5_1_2->n21_a_driver_handbook__1_5_1_2_2 n21_a_driver_handbook__1_5_1_2_1->n21_a_driver_handbook__1_5_1_2_1_1 n21_a_driver_handbook__1_5_1_2_2_1 ADJP n21_a_driver_handbook__1_5_1_2_2->n21_a_driver_handbook__1_5_1_2_2_1 n21_a_driver_handbook__1_5_1_2_2_2 N n21_a_driver_handbook__1_5_1_2_2->n21_a_driver_handbook__1_5_1_2_2_2 n21_a_driver_handbook__1_5_1_2_2_1_1 ADJ n21_a_driver_handbook__1_5_1_2_2_1->n21_a_driver_handbook__1_5_1_2_2_1_1 n21_a_driver_handbook__1_5_1_2_2_1_1->n21_a_driver_handbook__1_5_1_2_2_1_1_1 n21_a_driver_handbook__1_5_1_2_2_2->n21_a_driver_handbook__1_5_1_2_2_2_1 
( (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))