Context                Previous, Next                Top


46_a_driver_handbook
Section 8: Roundabouts

%3 z_000_46_a_driver_handbook_1 r_0046_0001__Section_r_0046_0002__8 Section 8 z_000_46_a_driver_handbook_1->r_0046_0001__Section_r_0046_0002__8 [nim] r_0046_0004__Roundabouts Roundabouts z_000_46_a_driver_handbook_1->r_0046_0004__Roundabouts [nim] 
arc(z_000_46_a_driver_handbook_1, r_0046_0001__Section_r_0046_0002__8, nim2).
arc(z_000_46_a_driver_handbook_1, r_0046_0004__Roundabouts, nim9).


%3 z_000_46_a_driver_handbook_1 r_0046_0004__Roundabouts Roundabouts z_000_46_a_driver_handbook_1->r_0046_0004__Roundabouts [nim] r_0046_0001__Section_r_0046_0002__8 Section 8 z_000_46_a_driver_handbook_1->r_0046_0001__Section_r_0046_0002__8 [nim] 
fof(formula,axiom,
    ? [R_0046_0001__SECTION_R_0046_0002__8,R_0046_0004__ROUNDABOUTS,Z_000_46_A_DRIVER_HANDBOOK_1] :
      ( 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_000_46_a_driver_handbook_1(Z_000_46_A_DRIVER_HANDBOOK_1)
      & has_nim9(Z_000_46_A_DRIVER_HANDBOOK_1,R_0046_0004__ROUNDABOUTS)
      & has_nim2(Z_000_46_A_DRIVER_HANDBOOK_1,R_0046_0001__SECTION_R_0046_0002__8) ) ).


n46_a_driver_handbook n46_a_driver_handbook__1_1_1_1 Section n46_a_driver_handbook__1_1_2_1 8 n46_a_driver_handbook__1_2_1 : n46_a_driver_handbook__1_3_1_1 Roundabouts n46_a_driver_handbook__1 FRAG n46_a_driver_handbook__1_1 NP n46_a_driver_handbook__1->n46_a_driver_handbook__1_1 n46_a_driver_handbook__1_2 PUNC n46_a_driver_handbook__1->n46_a_driver_handbook__1_2 n46_a_driver_handbook__1_3 NP n46_a_driver_handbook__1->n46_a_driver_handbook__1_3 n46_a_driver_handbook__1_1_1 N n46_a_driver_handbook__1_1->n46_a_driver_handbook__1_1_1 n46_a_driver_handbook__1_1_2 NUM n46_a_driver_handbook__1_1->n46_a_driver_handbook__1_1_2 n46_a_driver_handbook__1_1_1->n46_a_driver_handbook__1_1_1_1 n46_a_driver_handbook__1_1_2->n46_a_driver_handbook__1_1_2_1 n46_a_driver_handbook__1_2->n46_a_driver_handbook__1_2_1 n46_a_driver_handbook__1_3_1 NS n46_a_driver_handbook__1_3->n46_a_driver_handbook__1_3_1 n46_a_driver_handbook__1_3_1->n46_a_driver_handbook__1_3_1_1 
( (FRAG (NP (N Section;{section})
            (NUM 8))
        (PUNC :)
        (NP (NS Roundabouts;{roundabout})))
  (ID 46_a_driver_handbook))