( (IP-IMP (PP-NIM (P-ROLE For;{for})
                  (NP (NS roundabouts;{roundabout})
                      (PP (P-ROLE with;{with})
                          (NP (ADJP (ADJ multiple;{multiple}))
                              (NS lanes;{lane})))))
          (PUNC ,)
          (VB;_Tn_ choose;{choose})
          (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                  (NLYR (NLYR (NLYR (N entry;{entry}))
                              (CONJP (CONJ or;{or})
                                     (NLYR (N exit;{exit})))))
                  (N lane;{lane}))
          (PP-SCON (IP-PPL (NP-LGS *)
                           (VVN;_phr_Vn.pr_ based;{base[on]})
                           (PP-CLR (P-ROLE on;{on})
                                   (NP (NP-GEN (PRO;_genm_ your;{your}))
                                       (N destination;{destination})))))
          (IP-CAR (NP-SBJ (RPRO as;{as}))
                  (IP-PPL-CAT (NP-LGS *)
                              (VVN;_Tn_ shown;{show})
                              (PP-NIM (P-ROLE in;{in})
                                      (NP (D the;{the})
                                          (N graphic;{graphic})))))
          (PUNC .))
  (ID 47_a_driver_handbook))

arc(r_0047_0002__roundabouts,r_0047_0005__lanes,r_0047_0003__with).
arc(r_0047_0005__lanes,r_0047_0004__multiple,attrib).
arc(r_0047_0007__choose,r_0047_0002__roundabouts,r_0047_0001__For__nim).
arc(r_0047_0007__choose,r_0047_0012__lane,arg1).
arc(r_0047_0007__choose,z_0047_5002,arg0).
arc(r_0047_0007__choose,z_0047_5014,nim).
arc(r_0047_0010__or,r_0047_0009__entry,conj1).
arc(r_0047_0010__or,r_0047_0011__exit,conj2).
arc(r_0047_0012__lane,r_0047_0008__your,gen).
arc(r_0047_0012__lane,r_0047_0010__or,nim).
arc(r_0047_0013__based,r_0047_0012__lane,arg1).
arc(r_0047_0013__based,r_0047_0016__destination,r_0047_0014__on__clr).
arc(r_0047_0013__based,z_0047_5019___star_,arg0).
arc(r_0047_0016__destination,r_0047_0008__your,gen).
arc(r_0047_0018__shown,r_0047_0020__the_r_0047_0021__graphic,r_0047_0019__in__nim).
arc(r_0047_0018__shown,z_0047_5010___star_,arg0).
arc(r_0047_0018__shown,z_0047_5014,arg1).
arc(z_0047_5012,r_0047_0018__shown,scope).
arc(z_0047_5015,r_0047_0007__choose,scope).
arc(z_0047_5015,r_0047_0013__based,restriction).

fof(formula,axiom,
    ? [R_0047_0020__THE_R_0047_0021__GRAPHIC,Z_0047_5010___STAR_,Z_0047_5014,Z_0047_5012_R_0047_0018__SHOWN,R_0047_0004__MULTIPLE,R_0047_0005__LANES,R_0047_0002__ROUNDABOUTS,R_0047_0008__YOUR,R_0047_0009__ENTRY,R_0047_0011__EXIT,R_0047_0010__OR,R_0047_0012__LANE,Z_0047_5002,R_0047_0007__CHOOSE,R_0047_0016__DESTINATION,Z_0047_5019___STAR_,R_0047_0013__BASED,Z_0047_5015] :
      ( r_0047_0004__multiple(R_0047_0004__MULTIPLE)
      & r_0047_0008__your(R_0047_0008__YOUR)
      & r_0047_0009__entry(R_0047_0009__ENTRY)
      & r_0047_0011__exit(R_0047_0011__EXIT)
      & r_0047_0020__the_r_0047_0021__graphic(R_0047_0020__THE_R_0047_0021__GRAPHIC)
      & z_0047_5002(Z_0047_5002)
      & z_0047_5010___star_(Z_0047_5010___STAR_)
      & z_0047_5014(Z_0047_5014)
      & z_0047_5019___star_(Z_0047_5019___STAR_)
      & z_0047_5015(Z_0047_5015)
      & has_conj1(Z_0047_5015,R_0047_0013__BASED)
      & r_0047_0013__based(R_0047_0013__BASED)
      & has_arg0(R_0047_0013__BASED,Z_0047_5019___STAR_)
      & has_r_0047_0014__on__clr(R_0047_0013__BASED,R_0047_0016__DESTINATION)
      & r_0047_0016__destination(R_0047_0016__DESTINATION)
      & has_gen(R_0047_0016__DESTINATION,R_0047_0008__YOUR)
      & has_arg1(R_0047_0013__BASED,R_0047_0012__LANE)
      & r_0047_0012__lane(R_0047_0012__LANE)
      & has_nim(R_0047_0012__LANE,R_0047_0010__OR)
      & r_0047_0010__or(R_0047_0010__OR)
      & has_conj2(R_0047_0010__OR,R_0047_0011__EXIT)
      & has_conj1(R_0047_0010__OR,R_0047_0009__ENTRY)
      & has_gen(R_0047_0012__LANE,R_0047_0008__YOUR)
      & has_conj2(Z_0047_5015,R_0047_0007__CHOOSE)
      & r_0047_0007__choose(R_0047_0007__CHOOSE)
      & has_nim(R_0047_0007__CHOOSE,Z_0047_5014)
      & has_arg0(R_0047_0007__CHOOSE,Z_0047_5002)
      & has_arg1(R_0047_0007__CHOOSE,R_0047_0012__LANE)
      & has_r_0047_0001__For__nim(R_0047_0007__CHOOSE,R_0047_0002__ROUNDABOUTS)
      & r_0047_0002__roundabouts(R_0047_0002__ROUNDABOUTS)
      & has_r_0047_0003__with(R_0047_0002__ROUNDABOUTS,R_0047_0005__LANES)
      & r_0047_0005__lanes(R_0047_0005__LANES)
      & has_attrib(R_0047_0005__LANES,R_0047_0004__MULTIPLE)
      & z_0047_5012_r_0047_0018__shown(Z_0047_5012_R_0047_0018__SHOWN)
      & has_arg1(Z_0047_5012_R_0047_0018__SHOWN,Z_0047_5014)
      & has_arg0(Z_0047_5012_R_0047_0018__SHOWN,Z_0047_5010___STAR_)
      & has_r_0047_0019__in__nim(Z_0047_5012_R_0047_0018__SHOWN,R_0047_0020__THE_R_0047_0021__GRAPHIC) ) ).