47_a_driver_handbook
For roundabouts with multiple lanes, choose your entry or exit lane based on your destination as shown in the graphic.

%3 r_0047_0002__roundabouts roundabouts r_0047_0005__lanes lanes r_0047_0002__roundabouts->r_0047_0005__lanes with r_0047_0004__multiple multiple r_0047_0005__lanes->r_0047_0004__multiple [attrib] r_0047_0007__choose choose r_0047_0007__choose->r_0047_0002__roundabouts For [nim] r_0047_0009__entry_or_exit_r_0047_0010__lane entry or exit lane r_0047_0007__choose->r_0047_0009__entry_or_exit_r_0047_0010__lane [arg1] z_000_47_a_driver_handbook_1 r_0047_0007__choose->z_000_47_a_driver_handbook_1 [arg0] z_000_47_a_driver_handbook_44 r_0047_0007__choose->z_000_47_a_driver_handbook_44 [nim] r_0047_0008__your your r_0047_0009__entry_or_exit_r_0047_0010__lane->r_0047_0008__your [gen] r_0047_0011__based based r_0047_0011__based->r_0047_0009__entry_or_exit_r_0047_0010__lane [arg1] r_0047_0014__destination destination r_0047_0011__based->r_0047_0014__destination on [clr] z_000_47_a_driver_handbook_31 r_0047_0011__based->z_000_47_a_driver_handbook_31 [arg0] r_0047_0014__destination->r_0047_0008__your [gen] r_0047_0016__shown shown r_0047_0016__shown->z_000_47_a_driver_handbook_44 [arg1] r_0047_0018__the_r_0047_0019__graphic the graphic r_0047_0016__shown->r_0047_0018__the_r_0047_0019__graphic in [nim] z_000_47_a_driver_handbook_50 r_0047_0016__shown->z_000_47_a_driver_handbook_50 [arg0] z_000_47_a_driver_handbook_29 z_000_47_a_driver_handbook_29->r_0047_0007__choose [scope] z_000_47_a_driver_handbook_29->r_0047_0011__based [restriction] z_000_47_a_driver_handbook_45 z_000_47_a_driver_handbook_45->r_0047_0016__shown [scope]
arc(r_0047_0002__roundabouts, r_0047_0005__lanes, r_0047_0003__with).
arc(r_0047_0005__lanes, r_0047_0004__multiple, attrib12).
arc(r_0047_0007__choose, r_0047_0002__roundabouts, r_0047_0001__For_nim5).
arc(r_0047_0007__choose, r_0047_0009__entry_or_exit_r_0047_0010__lane, arg1).
arc(r_0047_0007__choose, z_000_47_a_driver_handbook_1, arg0).
arc(r_0047_0007__choose, z_000_47_a_driver_handbook_44, nim44).
arc(r_0047_0009__entry_or_exit_r_0047_0010__lane, r_0047_0008__your, gen).
arc(r_0047_0011__based, r_0047_0009__entry_or_exit_r_0047_0010__lane, arg1).
arc(r_0047_0011__based, r_0047_0014__destination, r_0047_0012__on_clr38).
arc(r_0047_0011__based, z_000_47_a_driver_handbook_31, arg0).
arc(r_0047_0014__destination, r_0047_0008__your, gen).
arc(r_0047_0016__shown, r_0047_0018__the_r_0047_0019__graphic, r_0047_0017__in_nim57).
arc(r_0047_0016__shown, z_000_47_a_driver_handbook_44, arg1).
arc(r_0047_0016__shown, z_000_47_a_driver_handbook_50, arg0).
arc(z_000_47_a_driver_handbook_29, r_0047_0007__choose, scope).
arc(z_000_47_a_driver_handbook_29, r_0047_0011__based, restriction).
arc(z_000_47_a_driver_handbook_45, r_0047_0016__shown, scope).



%3 r_0047_0002__roundabouts roundabouts r_0047_0005__lanes lanes r_0047_0002__roundabouts->r_0047_0005__lanes with r_0047_0004__multiple multiple r_0047_0005__lanes->r_0047_0004__multiple [attrib] r_0047_0007__choose choose r_0047_0007__choose->r_0047_0002__roundabouts For [nim] r_0047_0009__entry_or_exit_r_0047_0010__lane entry or exit lane r_0047_0007__choose->r_0047_0009__entry_or_exit_r_0047_0010__lane [arg1] z_000_47_a_driver_handbook_1 r_0047_0007__choose->z_000_47_a_driver_handbook_1 [arg0] z_000_47_a_driver_handbook_44 r_0047_0007__choose->z_000_47_a_driver_handbook_44 [nim] r_0047_0008__your your r_0047_0009__entry_or_exit_r_0047_0010__lane->r_0047_0008__your [gen] r_0047_0011__based based r_0047_0011__based->r_0047_0009__entry_or_exit_r_0047_0010__lane [arg1] r_0047_0014__destination destination r_0047_0011__based->r_0047_0014__destination on [clr] z_000_47_a_driver_handbook_31 r_0047_0011__based->z_000_47_a_driver_handbook_31 [arg0] r_0047_0014__destination->r_0047_0008__your [gen] z_000_47_a_driver_handbook_29 z_000_47_a_driver_handbook_29->r_0047_0007__choose [conj2] z_000_47_a_driver_handbook_29->r_0047_0011__based [conj1] z_000_47_a_driver_handbook_45_r_0047_0016__shown shown z_000_47_a_driver_handbook_45_r_0047_0016__shown->z_000_47_a_driver_handbook_44 [arg1] r_0047_0018__the_r_0047_0019__graphic the graphic z_000_47_a_driver_handbook_45_r_0047_0016__shown->r_0047_0018__the_r_0047_0019__graphic in [nim] z_000_47_a_driver_handbook_50 z_000_47_a_driver_handbook_45_r_0047_0016__shown->z_000_47_a_driver_handbook_50 [arg0]
fof(formula,axiom,
    ? [Z_47_A_DRIVER_HANDBOOK_29,R_47_11_BASED,Z_47_A_DRIVER_HANDBOOK_31,R_47_14_DESTINATION,R_47_7_CHOOSE,Z_47_A_DRIVER_HANDBOOK_1,R_47_9_ENTRY_OR_EXIT_LANE,R_47_8_YOUR,R_47_2_ROUNDABOUTS,R_47_5_LANES,R_47_4_MULTIPLE,Z_47_A_DRIVER_HANDBOOK_45_SHOWN,Z_47_A_DRIVER_HANDBOOK_50,Z_47_A_DRIVER_HANDBOOK_44,R_47_18_THE_GRAPHIC] :
      ( your(R_47_8_YOUR)
      & multiple(R_47_4_MULTIPLE)
      & the_graphic(R_47_18_THE_GRAPHIC)
      & z_47_a_driver_handbook_29(Z_47_A_DRIVER_HANDBOOK_29)
      & conj1(Z_47_A_DRIVER_HANDBOOK_29,R_47_11_BASED)
      & based(R_47_11_BASED,Z_47_A_DRIVER_HANDBOOK_31,R_47_9_ENTRY_OR_EXIT_LANE)
      & entry_or_exit_lane(R_47_9_ENTRY_OR_EXIT_LANE)
      & gen(R_47_9_ENTRY_OR_EXIT_LANE,R_47_8_YOUR)
      & on_clr38(R_47_11_BASED,R_47_14_DESTINATION)
      & destination(R_47_14_DESTINATION)
      & gen(R_47_14_DESTINATION,R_47_8_YOUR)
      & conj2(Z_47_A_DRIVER_HANDBOOK_29,R_47_7_CHOOSE)
      & choose(R_47_7_CHOOSE,Z_47_A_DRIVER_HANDBOOK_1,R_47_9_ENTRY_OR_EXIT_LANE)
      & nim44(R_47_7_CHOOSE,Z_47_A_DRIVER_HANDBOOK_44)
      & for_nim5(R_47_7_CHOOSE,R_47_2_ROUNDABOUTS)
      & roundabouts(R_47_2_ROUNDABOUTS)
      & with(R_47_2_ROUNDABOUTS,R_47_5_LANES)
      & lanes(R_47_5_LANES)
      & attrib12(R_47_5_LANES,R_47_4_MULTIPLE)
      & z_47_a_driver_handbook_45_shown(Z_47_A_DRIVER_HANDBOOK_45_SHOWN,Z_47_A_DRIVER_HANDBOOK_50,Z_47_A_DRIVER_HANDBOOK_44)
      & in_nim57(Z_47_A_DRIVER_HANDBOOK_45_SHOWN,R_47_18_THE_GRAPHIC) ) ).



n47_a_driver_handbook n47_a_driver_handbook_4 For n47_a_driver_handbook_7 roundabouts n47_a_driver_handbook_10 with n47_a_driver_handbook_14 multiple n47_a_driver_handbook_16 lanes n47_a_driver_handbook_18 , n47_a_driver_handbook_20 choose n47_a_driver_handbook_24 your n47_a_driver_handbook_26 entry_or_exit n47_a_driver_handbook_28 lane n47_a_driver_handbook_32 * n47_a_driver_handbook_34 based n47_a_driver_handbook_37 on n47_a_driver_handbook_41 your n47_a_driver_handbook_43 destination n47_a_driver_handbook_48 as n47_a_driver_handbook_51 * n47_a_driver_handbook_53 shown n47_a_driver_handbook_56 in n47_a_driver_handbook_59 the n47_a_driver_handbook_61 graphic n47_a_driver_handbook_63 . n47_a_driver_handbook_1 IP-IMP n47_a_driver_handbook_2 PP-NIM n47_a_driver_handbook_1->n47_a_driver_handbook_2 n47_a_driver_handbook_17 PUNC n47_a_driver_handbook_1->n47_a_driver_handbook_17 n47_a_driver_handbook_19 VB;_Tn_ n47_a_driver_handbook_1->n47_a_driver_handbook_19 n47_a_driver_handbook_21 NP-OB1 n47_a_driver_handbook_1->n47_a_driver_handbook_21 n47_a_driver_handbook_29 PP-SCON n47_a_driver_handbook_1->n47_a_driver_handbook_29 n47_a_driver_handbook_44 NP-NIM n47_a_driver_handbook_1->n47_a_driver_handbook_44 n47_a_driver_handbook_62 PUNC n47_a_driver_handbook_1->n47_a_driver_handbook_62 n47_a_driver_handbook_3 P-ROLE n47_a_driver_handbook_2->n47_a_driver_handbook_3 n47_a_driver_handbook_5 NP n47_a_driver_handbook_2->n47_a_driver_handbook_5 n47_a_driver_handbook_3->n47_a_driver_handbook_4 n47_a_driver_handbook_6 NS n47_a_driver_handbook_5->n47_a_driver_handbook_6 n47_a_driver_handbook_8 PP n47_a_driver_handbook_5->n47_a_driver_handbook_8 n47_a_driver_handbook_6->n47_a_driver_handbook_7 n47_a_driver_handbook_9 P-ROLE n47_a_driver_handbook_8->n47_a_driver_handbook_9 n47_a_driver_handbook_11 NP n47_a_driver_handbook_8->n47_a_driver_handbook_11 n47_a_driver_handbook_9->n47_a_driver_handbook_10 n47_a_driver_handbook_12 ADJP n47_a_driver_handbook_11->n47_a_driver_handbook_12 n47_a_driver_handbook_15 NS n47_a_driver_handbook_11->n47_a_driver_handbook_15 n47_a_driver_handbook_13 ADJ n47_a_driver_handbook_12->n47_a_driver_handbook_13 n47_a_driver_handbook_13->n47_a_driver_handbook_14 n47_a_driver_handbook_15->n47_a_driver_handbook_16 n47_a_driver_handbook_17->n47_a_driver_handbook_18 n47_a_driver_handbook_19->n47_a_driver_handbook_20 n47_a_driver_handbook_22 NP-GEN n47_a_driver_handbook_21->n47_a_driver_handbook_22 n47_a_driver_handbook_25 N n47_a_driver_handbook_21->n47_a_driver_handbook_25 n47_a_driver_handbook_27 N n47_a_driver_handbook_21->n47_a_driver_handbook_27 n47_a_driver_handbook_23 PRO;_genm_ n47_a_driver_handbook_22->n47_a_driver_handbook_23 n47_a_driver_handbook_23->n47_a_driver_handbook_24 n47_a_driver_handbook_25->n47_a_driver_handbook_26 n47_a_driver_handbook_27->n47_a_driver_handbook_28 n47_a_driver_handbook_30 IP-PPL n47_a_driver_handbook_29->n47_a_driver_handbook_30 n47_a_driver_handbook_31 NP-LGS n47_a_driver_handbook_30->n47_a_driver_handbook_31 n47_a_driver_handbook_33 VVN;_phr_Vn.pr_ n47_a_driver_handbook_30->n47_a_driver_handbook_33 n47_a_driver_handbook_35 PP-CLR n47_a_driver_handbook_30->n47_a_driver_handbook_35 n47_a_driver_handbook_31->n47_a_driver_handbook_32 n47_a_driver_handbook_33->n47_a_driver_handbook_34 n47_a_driver_handbook_36 P-ROLE n47_a_driver_handbook_35->n47_a_driver_handbook_36 n47_a_driver_handbook_38 NP n47_a_driver_handbook_35->n47_a_driver_handbook_38 n47_a_driver_handbook_36->n47_a_driver_handbook_37 n47_a_driver_handbook_39 NP-GEN n47_a_driver_handbook_38->n47_a_driver_handbook_39 n47_a_driver_handbook_42 N n47_a_driver_handbook_38->n47_a_driver_handbook_42 n47_a_driver_handbook_40 PRO;_genm_ n47_a_driver_handbook_39->n47_a_driver_handbook_40 n47_a_driver_handbook_40->n47_a_driver_handbook_41 n47_a_driver_handbook_42->n47_a_driver_handbook_43 n47_a_driver_handbook_45 IP-REL n47_a_driver_handbook_44->n47_a_driver_handbook_45 n47_a_driver_handbook_46 NP-SBJ n47_a_driver_handbook_45->n47_a_driver_handbook_46 n47_a_driver_handbook_49 IP-PPL-CAT n47_a_driver_handbook_45->n47_a_driver_handbook_49 n47_a_driver_handbook_47 RPRO n47_a_driver_handbook_46->n47_a_driver_handbook_47 n47_a_driver_handbook_47->n47_a_driver_handbook_48 n47_a_driver_handbook_50 NP-LGS n47_a_driver_handbook_49->n47_a_driver_handbook_50 n47_a_driver_handbook_52 VVN;_Tn_ n47_a_driver_handbook_49->n47_a_driver_handbook_52 n47_a_driver_handbook_54 PP-NIM n47_a_driver_handbook_49->n47_a_driver_handbook_54 n47_a_driver_handbook_50->n47_a_driver_handbook_51 n47_a_driver_handbook_52->n47_a_driver_handbook_53 n47_a_driver_handbook_55 P-ROLE n47_a_driver_handbook_54->n47_a_driver_handbook_55 n47_a_driver_handbook_57 NP n47_a_driver_handbook_54->n47_a_driver_handbook_57 n47_a_driver_handbook_55->n47_a_driver_handbook_56 n47_a_driver_handbook_58 D n47_a_driver_handbook_57->n47_a_driver_handbook_58 n47_a_driver_handbook_60 N n47_a_driver_handbook_57->n47_a_driver_handbook_60 n47_a_driver_handbook_58->n47_a_driver_handbook_59 n47_a_driver_handbook_60->n47_a_driver_handbook_61 n47_a_driver_handbook_62->n47_a_driver_handbook_63
( (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}))
                  (N entry_or_exit;{entry_or_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})))))
          (NP-NIM (IP-REL (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))