TSPC 21_a_driver

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

( (NP (N Section;{section})
      (NUM 4)
      (PUNC :)
      (PRN (NP (ADJP (ADJ Reduced;{reduced}))
               (NS Speeds;{speed})
               (PUNC :)
               (PRN (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))

arc(r_0021_0005__Speeds,r_0021_0004__Reduced,attrib).
arc(r_0021_0008__Traffic,r_0021_0007__Heavy,attrib).
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,attrib).
arc(z_0021_5011,r_0021_0005__Speeds,arg0).
arc(z_0021_5011,r_0021_0009__or,prd).
arc(z_0021_5013,r_0021_0001__Section_r_0021_0002__4,arg0).
arc(z_0021_5013,r_0021_0005__Speeds,prd).
arc(z_0021_5015,r_0021_0001__Section_r_0021_0002__4,z_0021_5002).

fof(formula,axiom,
    ? [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_0021_5011,R_0021_0001__SECTION_R_0021_0002__4,Z_0021_5013,Z_0021_5015] :
      ( 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_0021_5015(Z_0021_5015)
      & has_z_0021_5002(Z_0021_5015,R_0021_0001__SECTION_R_0021_0002__4)
      & z_0021_5013(Z_0021_5013)
      & has_prd(Z_0021_5013,R_0021_0005__SPEEDS)
      & r_0021_0005__Speeds(R_0021_0005__SPEEDS)
      & has_attrib(R_0021_0005__SPEEDS,R_0021_0004__REDUCED)
      & has_arg0(Z_0021_5013,R_0021_0001__SECTION_R_0021_0002__4)
      & z_0021_5011(Z_0021_5011)
      & has_prd(Z_0021_5011,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_attrib(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_attrib(R_0021_0008__TRAFFIC,R_0021_0007__HEAVY)
      & has_arg0(Z_0021_5011,R_0021_0005__SPEEDS) ) ).