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_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] 
fof(formula,axiom,
    ? [Z_46_A_DRIVER_HANDBOOK_1,R_46_1_SECTION_8,R_46_4_ROUNDABOUTS] :
      ( section_8(R_46_1_SECTION_8)
      & roundabouts(R_46_4_ROUNDABOUTS)
      & z_46_a_driver_handbook_1(Z_46_A_DRIVER_HANDBOOK_1)
      & nim2(Z_46_A_DRIVER_HANDBOOK_1,R_46_1_SECTION_8)
      & nim9(Z_46_A_DRIVER_HANDBOOK_1,R_46_4_ROUNDABOUTS) ) ).


n46_a_driver_handbook n46_a_driver_handbook_4 Section n46_a_driver_handbook_6 8 n46_a_driver_handbook_8 : n46_a_driver_handbook_11 Roundabouts n46_a_driver_handbook_1 FRAG n46_a_driver_handbook_2 NP n46_a_driver_handbook_1->n46_a_driver_handbook_2 n46_a_driver_handbook_7 PUNC n46_a_driver_handbook_1->n46_a_driver_handbook_7 n46_a_driver_handbook_9 NP n46_a_driver_handbook_1->n46_a_driver_handbook_9 n46_a_driver_handbook_3 N n46_a_driver_handbook_2->n46_a_driver_handbook_3 n46_a_driver_handbook_5 NUM n46_a_driver_handbook_2->n46_a_driver_handbook_5 n46_a_driver_handbook_3->n46_a_driver_handbook_4 n46_a_driver_handbook_5->n46_a_driver_handbook_6 n46_a_driver_handbook_7->n46_a_driver_handbook_8 n46_a_driver_handbook_10 NS n46_a_driver_handbook_9->n46_a_driver_handbook_10 n46_a_driver_handbook_10->n46_a_driver_handbook_11 
( (FRAG (NP (N Section;{section})
            (NUM 8))
        (PUNC :)
        (NP (NS Roundabouts;{roundabout})))
  (ID 46_a_driver_handbook))