( (NP (N Section;{section})
      (NUM 6)
      (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 First;{first}))
                        (N Section;{section})))
               (PUNC -RRB-))))
  (ID 29_a_driver_handbook))

arc(r_0029_0005__Speeds,r_0029_0004__Reduced,attrib).
arc(r_0029_0005__Speeds,r_0029_0008__Children,r_0029_0007__Around).
arc(r_0029_0011__Section,r_0029_0010__First,attrib).
arc(z_0029_5009,r_0029_0005__Speeds,arg0).
arc(z_0029_5009,r_0029_0011__Section,prd).
arc(z_0029_5011,r_0029_0001__Section_r_0029_0002__6,arg0).
arc(z_0029_5011,r_0029_0005__Speeds,prd).
arc(z_0029_5013,r_0029_0001__Section_r_0029_0002__6,z_0029_5002).

fof(formula,axiom,
    ? [R_0029_0004__REDUCED,R_0029_0008__CHILDREN,R_0029_0005__SPEEDS,R_0029_0010__FIRST,R_0029_0011__SECTION,Z_0029_5009,R_0029_0001__SECTION_R_0029_0002__6,Z_0029_5011,Z_0029_5013] :
      ( r_0029_0001__Section_r_0029_0002__6(R_0029_0001__SECTION_R_0029_0002__6)
      & r_0029_0004__Reduced(R_0029_0004__REDUCED)
      & r_0029_0008__Children(R_0029_0008__CHILDREN)
      & r_0029_0010__First(R_0029_0010__FIRST)
      & z_0029_5013(Z_0029_5013)
      & has_z_0029_5002(Z_0029_5013,R_0029_0001__SECTION_R_0029_0002__6)
      & z_0029_5011(Z_0029_5011)
      & has_prd(Z_0029_5011,R_0029_0005__SPEEDS)
      & r_0029_0005__Speeds(R_0029_0005__SPEEDS)
      & has_r_0029_0007__Around(R_0029_0005__SPEEDS,R_0029_0008__CHILDREN)
      & has_attrib(R_0029_0005__SPEEDS,R_0029_0004__REDUCED)
      & has_arg0(Z_0029_5011,R_0029_0001__SECTION_R_0029_0002__6)
      & z_0029_5009(Z_0029_5009)
      & has_prd(Z_0029_5009,R_0029_0011__SECTION)
      & r_0029_0011__Section(R_0029_0011__SECTION)
      & has_attrib(R_0029_0011__SECTION,R_0029_0010__FIRST)
      & has_arg0(Z_0029_5009,R_0029_0005__SPEEDS) ) ).