( (NP (N Section;{section})
      (NUM 8)
      (PUNC :)
      (PRN (NP (NS Roundabouts;{roundabout}))))
  (ID 46_a_driver_handbook))

arc(z_0046_5005,r_0046_0001__Section_r_0046_0002__8,arg0).
arc(z_0046_5005,r_0046_0004__Roundabouts,prd).
arc(z_0046_5007,r_0046_0001__Section_r_0046_0002__8,z_0046_5002).

fof(formula,axiom,
    ? [R_0046_0001__SECTION_R_0046_0002__8,R_0046_0004__ROUNDABOUTS,Z_0046_5005,Z_0046_5007] :
      ( r_0046_0001__Section_r_0046_0002__8(R_0046_0001__SECTION_R_0046_0002__8)
      & r_0046_0004__Roundabouts(R_0046_0004__ROUNDABOUTS)
      & z_0046_5007(Z_0046_5007)
      & has_z_0046_5002(Z_0046_5007,R_0046_0001__SECTION_R_0046_0002__8)
      & z_0046_5005(Z_0046_5005)
      & has_prd(Z_0046_5005,R_0046_0004__ROUNDABOUTS)
      & has_arg0(Z_0046_5005,R_0046_0001__SECTION_R_0046_0002__8) ) ).