47_a_driver_handbook
For roundabouts with multiple lanes, choose your entry or exit lane based on your destination as shown in the graphic.
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_0014__destination, r_0047_0012__on_clr38).
arc(r_0047_0011__based, z_000_47_a_driver_handbook_1, arg1).
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).
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,Z_47_A_DRIVER_HANDBOOK_1)
& 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)
& entry_or_exit_lane(R_47_9_ENTRY_OR_EXIT_LANE)
& gen(R_47_9_ENTRY_OR_EXIT_LANE,R_47_8_YOUR)
& 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) ) ).
( (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))