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_0004__Speed_r_0004_0005__Limits Speed Limits z_000_4_a_driver_handbook_1->r_0004_0004__Speed_r_0004_0005__Limits [nim] 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] 
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__1_1_1_1 Section n4_a_driver_handbook__1_1_2_1 2 n4_a_driver_handbook__1_2_1 : n4_a_driver_handbook__1_3_1_1 Speed n4_a_driver_handbook__1_3_2_1 Limits n4_a_driver_handbook__1 FRAG n4_a_driver_handbook__1_1 NP n4_a_driver_handbook__1->n4_a_driver_handbook__1_1 n4_a_driver_handbook__1_2 PUNC n4_a_driver_handbook__1->n4_a_driver_handbook__1_2 n4_a_driver_handbook__1_3 NP n4_a_driver_handbook__1->n4_a_driver_handbook__1_3 n4_a_driver_handbook__1_1_1 N n4_a_driver_handbook__1_1->n4_a_driver_handbook__1_1_1 n4_a_driver_handbook__1_1_2 NUM n4_a_driver_handbook__1_1->n4_a_driver_handbook__1_1_2 n4_a_driver_handbook__1_1_1->n4_a_driver_handbook__1_1_1_1 n4_a_driver_handbook__1_1_2->n4_a_driver_handbook__1_1_2_1 n4_a_driver_handbook__1_2->n4_a_driver_handbook__1_2_1 n4_a_driver_handbook__1_3_1 N n4_a_driver_handbook__1_3->n4_a_driver_handbook__1_3_1 n4_a_driver_handbook__1_3_2 NS n4_a_driver_handbook__1_3->n4_a_driver_handbook__1_3_2 n4_a_driver_handbook__1_3_1->n4_a_driver_handbook__1_3_1_1 n4_a_driver_handbook__1_3_2->n4_a_driver_handbook__1_3_2_1 
( (FRAG (NP (N Section;{section})
            (NUM 2))
        (PUNC :)
        (NP (N Speed;{speed})
            (NS Limits;{limit})))
  (ID 4_a_driver_handbook))