Context                Previous, Next                Top


4_a_driver_handbook
Section 2: Speed Limits

%3 z_000_4_a_driver_handbook_1 r_0004_0001__Section_r_0004_0002__2 Section 2 z_000_4_a_driver_handbook_1->r_0004_0001__Section_r_0004_0002__2 [nim] r_0004_0004__Speed_r_0004_0005__Limits Speed Limits z_000_4_a_driver_handbook_1->r_0004_0004__Speed_r_0004_0005__Limits [nim] 
arc(z_000_4_a_driver_handbook_1, r_0004_0001__Section_r_0004_0002__2, nim2).
arc(z_000_4_a_driver_handbook_1, r_0004_0004__Speed_r_0004_0005__Limits, nim9).


%3 z_000_4_a_driver_handbook_1 r_0004_0001__Section_r_0004_0002__2 Section 2 z_000_4_a_driver_handbook_1->r_0004_0001__Section_r_0004_0002__2 [nim] r_0004_0004__Speed_r_0004_0005__Limits Speed Limits z_000_4_a_driver_handbook_1->r_0004_0004__Speed_r_0004_0005__Limits [nim] 
fof(formula,axiom,
    ? [Z_4_A_DRIVER_HANDBOOK_1,R_4_1_SECTION_2,R_4_4_SPEED_LIMITS] :
      ( section_2(R_4_1_SECTION_2)
      & speed_Limits(R_4_4_SPEED_LIMITS)
      & z_4_a_driver_handbook_1(Z_4_A_DRIVER_HANDBOOK_1)
      & nim2(Z_4_A_DRIVER_HANDBOOK_1,R_4_1_SECTION_2)
      & nim9(Z_4_A_DRIVER_HANDBOOK_1,R_4_4_SPEED_LIMITS) ) ).


n4_a_driver_handbook n4_a_driver_handbook_4 Section n4_a_driver_handbook_6 2 n4_a_driver_handbook_8 : n4_a_driver_handbook_11 Speed n4_a_driver_handbook_13 Limits n4_a_driver_handbook_1 FRAG n4_a_driver_handbook_2 NP n4_a_driver_handbook_1->n4_a_driver_handbook_2 n4_a_driver_handbook_7 PUNC n4_a_driver_handbook_1->n4_a_driver_handbook_7 n4_a_driver_handbook_9 NP n4_a_driver_handbook_1->n4_a_driver_handbook_9 n4_a_driver_handbook_3 N n4_a_driver_handbook_2->n4_a_driver_handbook_3 n4_a_driver_handbook_5 NUM n4_a_driver_handbook_2->n4_a_driver_handbook_5 n4_a_driver_handbook_3->n4_a_driver_handbook_4 n4_a_driver_handbook_5->n4_a_driver_handbook_6 n4_a_driver_handbook_7->n4_a_driver_handbook_8 n4_a_driver_handbook_10 N n4_a_driver_handbook_9->n4_a_driver_handbook_10 n4_a_driver_handbook_12 NS n4_a_driver_handbook_9->n4_a_driver_handbook_12 n4_a_driver_handbook_10->n4_a_driver_handbook_11 n4_a_driver_handbook_12->n4_a_driver_handbook_13 
( (FRAG (NP (N Section;{section})
            (NUM 2))
        (PUNC :)
        (NP (N Speed;{speed})
            (NS Limits;{limit})))
  (ID 4_a_driver_handbook))