Context                Previous, Next                Top


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->z_000_47_a_driver_handbook_1 [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_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).


%3 z_000_47_a_driver_handbook_29 r_0047_0011__based based z_000_47_a_driver_handbook_29->r_0047_0011__based [conj1] r_0047_0007__choose choose z_000_47_a_driver_handbook_29->r_0047_0007__choose [conj2] 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] z_000_47_a_driver_handbook_1 r_0047_0011__based->z_000_47_a_driver_handbook_1 [arg1] z_000_47_a_driver_handbook_44 r_0047_0007__choose->z_000_47_a_driver_handbook_44 [nim] r_0047_0007__choose->z_000_47_a_driver_handbook_1 [arg0] 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] r_0047_0002__roundabouts roundabouts r_0047_0007__choose->r_0047_0002__roundabouts For [nim] z_000_47_a_driver_handbook_45_r_0047_0016__shown shown 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] 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] r_0047_0008__your your r_0047_0014__destination->r_0047_0008__your [gen] r_0047_0009__entry_or_exit_r_0047_0010__lane->r_0047_0008__your [gen] 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] 
fof(formula,axiom,
    ? [R_0047_0018__THE_R_0047_0019__GRAPHIC,Z_000_47_A_DRIVER_HANDBOOK_44,Z_000_47_A_DRIVER_HANDBOOK_50,Z_000_47_A_DRIVER_HANDBOOK_45_R_0047_0016__SHOWN,R_0047_0004__MULTIPLE,R_0047_0005__LANES,R_0047_0002__ROUNDABOUTS,R_0047_0008__YOUR,R_0047_0009__ENTRY_OR_EXIT_R_0047_0010__LANE,Z_000_47_A_DRIVER_HANDBOOK_1,R_0047_0007__CHOOSE,R_0047_0014__DESTINATION,Z_000_47_A_DRIVER_HANDBOOK_31,R_0047_0011__BASED,Z_000_47_A_DRIVER_HANDBOOK_29] :
      ( r_0047_0004__multiple(R_0047_0004__MULTIPLE)
      & r_0047_0008__your(R_0047_0008__YOUR)
      & r_0047_0018__the_r_0047_0019__graphic(R_0047_0018__THE_R_0047_0019__GRAPHIC)
      & z_000_47_a_driver_handbook_1(Z_000_47_A_DRIVER_HANDBOOK_1)
      & z_000_47_a_driver_handbook_31(Z_000_47_A_DRIVER_HANDBOOK_31)
      & z_000_47_a_driver_handbook_44(Z_000_47_A_DRIVER_HANDBOOK_44)
      & z_000_47_a_driver_handbook_50(Z_000_47_A_DRIVER_HANDBOOK_50)
      & z_000_47_a_driver_handbook_29(Z_000_47_A_DRIVER_HANDBOOK_29)
      & has_conj1(Z_000_47_A_DRIVER_HANDBOOK_29,R_0047_0011__BASED)
      & r_0047_0011__based(R_0047_0011__BASED)
      & has_arg0(R_0047_0011__BASED,Z_000_47_A_DRIVER_HANDBOOK_31)
      & has_arg1(R_0047_0011__BASED,Z_000_47_A_DRIVER_HANDBOOK_1)
      & has_r_0047_0012__on_clr38(R_0047_0011__BASED,R_0047_0014__DESTINATION)
      & r_0047_0014__destination(R_0047_0014__DESTINATION)
      & has_gen(R_0047_0014__DESTINATION,R_0047_0008__YOUR)
      & has_conj2(Z_000_47_A_DRIVER_HANDBOOK_29,R_0047_0007__CHOOSE)
      & r_0047_0007__choose(R_0047_0007__CHOOSE)
      & has_nim44(R_0047_0007__CHOOSE,Z_000_47_A_DRIVER_HANDBOOK_44)
      & has_arg0(R_0047_0007__CHOOSE,Z_000_47_A_DRIVER_HANDBOOK_1)
      & has_arg1(R_0047_0007__CHOOSE,R_0047_0009__ENTRY_OR_EXIT_R_0047_0010__LANE)
      & r_0047_0009__entry_or_exit_r_0047_0010__lane(R_0047_0009__ENTRY_OR_EXIT_R_0047_0010__LANE)
      & has_gen(R_0047_0009__ENTRY_OR_EXIT_R_0047_0010__LANE,R_0047_0008__YOUR)
      & has_r_0047_0001__For_nim5(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_attrib12(R_0047_0005__LANES,R_0047_0004__MULTIPLE)
      & z_000_47_a_driver_handbook_45_r_0047_0016__shown(Z_000_47_A_DRIVER_HANDBOOK_45_R_0047_0016__SHOWN)
      & has_arg0(Z_000_47_A_DRIVER_HANDBOOK_45_R_0047_0016__SHOWN,Z_000_47_A_DRIVER_HANDBOOK_50)
      & has_arg1(Z_000_47_A_DRIVER_HANDBOOK_45_R_0047_0016__SHOWN,Z_000_47_A_DRIVER_HANDBOOK_44)
      & has_r_0047_0017__in_nim57(Z_000_47_A_DRIVER_HANDBOOK_45_R_0047_0016__SHOWN,R_0047_0018__THE_R_0047_0019__GRAPHIC) ) ).


n47_a_driver_handbook n47_a_driver_handbook__1_1_1_1 For n47_a_driver_handbook__1_1_2_1_1 roundabouts n47_a_driver_handbook__1_1_2_2_1_1 with n47_a_driver_handbook__1_1_2_2_2_1_1_1 multiple n47_a_driver_handbook__1_1_2_2_2_2_1 lanes n47_a_driver_handbook__1_2_1 , n47_a_driver_handbook__1_3_1 choose n47_a_driver_handbook__1_4_1_1_1 your n47_a_driver_handbook__1_4_2_1 entry_or_exit n47_a_driver_handbook__1_4_3_1 lane n47_a_driver_handbook__1_5_1_1_1 * n47_a_driver_handbook__1_5_1_2_1 based n47_a_driver_handbook__1_5_1_3_1_1 on n47_a_driver_handbook__1_5_1_3_2_1_1_1 your n47_a_driver_handbook__1_5_1_3_2_2_1 destination n47_a_driver_handbook__1_6_1_1_1_1 as n47_a_driver_handbook__1_6_1_2_1_1 * n47_a_driver_handbook__1_6_1_2_2_1 shown n47_a_driver_handbook__1_6_1_2_3_1_1 in n47_a_driver_handbook__1_6_1_2_3_2_1_1 the n47_a_driver_handbook__1_6_1_2_3_2_2_1 graphic n47_a_driver_handbook__1_7_1 . n47_a_driver_handbook__1 IP-IMP n47_a_driver_handbook__1_1 PP-NIM n47_a_driver_handbook__1->n47_a_driver_handbook__1_1 n47_a_driver_handbook__1_2 PUNC n47_a_driver_handbook__1->n47_a_driver_handbook__1_2 n47_a_driver_handbook__1_3 VB;_Tn_ n47_a_driver_handbook__1->n47_a_driver_handbook__1_3 n47_a_driver_handbook__1_4 NP-OB1 n47_a_driver_handbook__1->n47_a_driver_handbook__1_4 n47_a_driver_handbook__1_5 PP-SCON n47_a_driver_handbook__1->n47_a_driver_handbook__1_5 n47_a_driver_handbook__1_6 NP-NIM n47_a_driver_handbook__1->n47_a_driver_handbook__1_6 n47_a_driver_handbook__1_7 PUNC n47_a_driver_handbook__1->n47_a_driver_handbook__1_7 n47_a_driver_handbook__1_1_1 P-ROLE n47_a_driver_handbook__1_1->n47_a_driver_handbook__1_1_1 n47_a_driver_handbook__1_1_2 NP n47_a_driver_handbook__1_1->n47_a_driver_handbook__1_1_2 n47_a_driver_handbook__1_1_1->n47_a_driver_handbook__1_1_1_1 n47_a_driver_handbook__1_1_2_1 NS n47_a_driver_handbook__1_1_2->n47_a_driver_handbook__1_1_2_1 n47_a_driver_handbook__1_1_2_2 PP n47_a_driver_handbook__1_1_2->n47_a_driver_handbook__1_1_2_2 n47_a_driver_handbook__1_1_2_1->n47_a_driver_handbook__1_1_2_1_1 n47_a_driver_handbook__1_1_2_2_1 P-ROLE n47_a_driver_handbook__1_1_2_2->n47_a_driver_handbook__1_1_2_2_1 n47_a_driver_handbook__1_1_2_2_2 NP n47_a_driver_handbook__1_1_2_2->n47_a_driver_handbook__1_1_2_2_2 n47_a_driver_handbook__1_1_2_2_1->n47_a_driver_handbook__1_1_2_2_1_1 n47_a_driver_handbook__1_1_2_2_2_1 ADJP n47_a_driver_handbook__1_1_2_2_2->n47_a_driver_handbook__1_1_2_2_2_1 n47_a_driver_handbook__1_1_2_2_2_2 NS n47_a_driver_handbook__1_1_2_2_2->n47_a_driver_handbook__1_1_2_2_2_2 n47_a_driver_handbook__1_1_2_2_2_1_1 ADJ n47_a_driver_handbook__1_1_2_2_2_1->n47_a_driver_handbook__1_1_2_2_2_1_1 n47_a_driver_handbook__1_1_2_2_2_1_1->n47_a_driver_handbook__1_1_2_2_2_1_1_1 n47_a_driver_handbook__1_1_2_2_2_2->n47_a_driver_handbook__1_1_2_2_2_2_1 n47_a_driver_handbook__1_2->n47_a_driver_handbook__1_2_1 n47_a_driver_handbook__1_3->n47_a_driver_handbook__1_3_1 n47_a_driver_handbook__1_4_1 NP-GEN n47_a_driver_handbook__1_4->n47_a_driver_handbook__1_4_1 n47_a_driver_handbook__1_4_2 N n47_a_driver_handbook__1_4->n47_a_driver_handbook__1_4_2 n47_a_driver_handbook__1_4_3 N n47_a_driver_handbook__1_4->n47_a_driver_handbook__1_4_3 n47_a_driver_handbook__1_4_1_1 PRO;_genm_ n47_a_driver_handbook__1_4_1->n47_a_driver_handbook__1_4_1_1 n47_a_driver_handbook__1_4_1_1->n47_a_driver_handbook__1_4_1_1_1 n47_a_driver_handbook__1_4_2->n47_a_driver_handbook__1_4_2_1 n47_a_driver_handbook__1_4_3->n47_a_driver_handbook__1_4_3_1 n47_a_driver_handbook__1_5_1 IP-PPL n47_a_driver_handbook__1_5->n47_a_driver_handbook__1_5_1 n47_a_driver_handbook__1_5_1_1 NP-LGS n47_a_driver_handbook__1_5_1->n47_a_driver_handbook__1_5_1_1 n47_a_driver_handbook__1_5_1_2 VVN;_phr_Vn.pr_ n47_a_driver_handbook__1_5_1->n47_a_driver_handbook__1_5_1_2 n47_a_driver_handbook__1_5_1_3 PP-CLR n47_a_driver_handbook__1_5_1->n47_a_driver_handbook__1_5_1_3 n47_a_driver_handbook__1_5_1_1->n47_a_driver_handbook__1_5_1_1_1 n47_a_driver_handbook__1_5_1_2->n47_a_driver_handbook__1_5_1_2_1 n47_a_driver_handbook__1_5_1_3_1 P-ROLE n47_a_driver_handbook__1_5_1_3->n47_a_driver_handbook__1_5_1_3_1 n47_a_driver_handbook__1_5_1_3_2 NP n47_a_driver_handbook__1_5_1_3->n47_a_driver_handbook__1_5_1_3_2 n47_a_driver_handbook__1_5_1_3_1->n47_a_driver_handbook__1_5_1_3_1_1 n47_a_driver_handbook__1_5_1_3_2_1 NP-GEN n47_a_driver_handbook__1_5_1_3_2->n47_a_driver_handbook__1_5_1_3_2_1 n47_a_driver_handbook__1_5_1_3_2_2 N n47_a_driver_handbook__1_5_1_3_2->n47_a_driver_handbook__1_5_1_3_2_2 n47_a_driver_handbook__1_5_1_3_2_1_1 PRO;_genm_ n47_a_driver_handbook__1_5_1_3_2_1->n47_a_driver_handbook__1_5_1_3_2_1_1 n47_a_driver_handbook__1_5_1_3_2_1_1->n47_a_driver_handbook__1_5_1_3_2_1_1_1 n47_a_driver_handbook__1_5_1_3_2_2->n47_a_driver_handbook__1_5_1_3_2_2_1 n47_a_driver_handbook__1_6_1 IP-REL n47_a_driver_handbook__1_6->n47_a_driver_handbook__1_6_1 n47_a_driver_handbook__1_6_1_1 NP-SBJ n47_a_driver_handbook__1_6_1->n47_a_driver_handbook__1_6_1_1 n47_a_driver_handbook__1_6_1_2 IP-PPL-CAT n47_a_driver_handbook__1_6_1->n47_a_driver_handbook__1_6_1_2 n47_a_driver_handbook__1_6_1_1_1 RPRO n47_a_driver_handbook__1_6_1_1->n47_a_driver_handbook__1_6_1_1_1 n47_a_driver_handbook__1_6_1_1_1->n47_a_driver_handbook__1_6_1_1_1_1 n47_a_driver_handbook__1_6_1_2_1 NP-LGS n47_a_driver_handbook__1_6_1_2->n47_a_driver_handbook__1_6_1_2_1 n47_a_driver_handbook__1_6_1_2_2 VVN;_Tn_ n47_a_driver_handbook__1_6_1_2->n47_a_driver_handbook__1_6_1_2_2 n47_a_driver_handbook__1_6_1_2_3 PP-NIM n47_a_driver_handbook__1_6_1_2->n47_a_driver_handbook__1_6_1_2_3 n47_a_driver_handbook__1_6_1_2_1->n47_a_driver_handbook__1_6_1_2_1_1 n47_a_driver_handbook__1_6_1_2_2->n47_a_driver_handbook__1_6_1_2_2_1 n47_a_driver_handbook__1_6_1_2_3_1 P-ROLE n47_a_driver_handbook__1_6_1_2_3->n47_a_driver_handbook__1_6_1_2_3_1 n47_a_driver_handbook__1_6_1_2_3_2 NP n47_a_driver_handbook__1_6_1_2_3->n47_a_driver_handbook__1_6_1_2_3_2 n47_a_driver_handbook__1_6_1_2_3_1->n47_a_driver_handbook__1_6_1_2_3_1_1 n47_a_driver_handbook__1_6_1_2_3_2_1 D n47_a_driver_handbook__1_6_1_2_3_2->n47_a_driver_handbook__1_6_1_2_3_2_1 n47_a_driver_handbook__1_6_1_2_3_2_2 N n47_a_driver_handbook__1_6_1_2_3_2->n47_a_driver_handbook__1_6_1_2_3_2_2 n47_a_driver_handbook__1_6_1_2_3_2_1->n47_a_driver_handbook__1_6_1_2_3_2_1_1 n47_a_driver_handbook__1_6_1_2_3_2_2->n47_a_driver_handbook__1_6_1_2_3_2_2_1 n47_a_driver_handbook__1_7->n47_a_driver_handbook__1_7_1 
( (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))