( (NP (N Section;{section})
      (NUM 7)
      (PUNC :)
      (PRN (NP (ADJP (ADJ Reduced;{reduced}))
               (NS Speeds;{speed})
               (PUNC :)
               (PP (P-ROLE Around;{around})
                   (NP (N Children;{child})))
               (PUNC -LRB-)
               (PRN (NP (ADJP (ADJ Second;{second}))
                        (N Section;{section})))
               (PUNC -RRB-))))
  (ID 35_a_driver_handbook))

arc(r_0035_0005__Speeds,r_0035_0004__Reduced,attrib).
arc(r_0035_0005__Speeds,r_0035_0008__Children,r_0035_0007__Around).
arc(r_0035_0011__Section,r_0035_0010__Second,attrib).
arc(z_0035_5009,r_0035_0005__Speeds,arg0).
arc(z_0035_5009,r_0035_0011__Section,prd).
arc(z_0035_5011,r_0035_0001__Section_r_0035_0002__7,arg0).
arc(z_0035_5011,r_0035_0005__Speeds,prd).
arc(z_0035_5013,r_0035_0001__Section_r_0035_0002__7,z_0035_5002).

fof(formula,axiom,
    ? [R_0035_0004__REDUCED,R_0035_0008__CHILDREN,R_0035_0005__SPEEDS,R_0035_0010__SECOND,R_0035_0011__SECTION,Z_0035_5009,R_0035_0001__SECTION_R_0035_0002__7,Z_0035_5011,Z_0035_5013] :
      ( r_0035_0001__Section_r_0035_0002__7(R_0035_0001__SECTION_R_0035_0002__7)
      & r_0035_0004__Reduced(R_0035_0004__REDUCED)
      & r_0035_0008__Children(R_0035_0008__CHILDREN)
      & r_0035_0010__Second(R_0035_0010__SECOND)
      & z_0035_5013(Z_0035_5013)
      & has_z_0035_5002(Z_0035_5013,R_0035_0001__SECTION_R_0035_0002__7)
      & z_0035_5011(Z_0035_5011)
      & has_prd(Z_0035_5011,R_0035_0005__SPEEDS)
      & r_0035_0005__Speeds(R_0035_0005__SPEEDS)
      & has_r_0035_0007__Around(R_0035_0005__SPEEDS,R_0035_0008__CHILDREN)
      & has_attrib(R_0035_0005__SPEEDS,R_0035_0004__REDUCED)
      & has_arg0(Z_0035_5011,R_0035_0001__SECTION_R_0035_0002__7)
      & z_0035_5009(Z_0035_5009)
      & has_prd(Z_0035_5009,R_0035_0011__SECTION)
      & r_0035_0011__Section(R_0035_0011__SECTION)
      & has_attrib(R_0035_0011__SECTION,R_0035_0010__SECOND)
      & has_arg0(Z_0035_5009,R_0035_0005__SPEEDS) ) ).