Context                Previous, Next                Top


4_a_driver_handbook
Section 2: Speed Limits

n4_a_driver_handbook n4_a_driver_handbook__1_1_1 Section n4_a_driver_handbook__1_2_1 2 n4_a_driver_handbook__1_3_1 : n4_a_driver_handbook__1_4_1_1_1 Speed n4_a_driver_handbook__1_4_1_2_1 Limits n4_a_driver_handbook__1 NP n4_a_driver_handbook__1_1 N n4_a_driver_handbook__1->n4_a_driver_handbook__1_1 n4_a_driver_handbook__1_2 NUM n4_a_driver_handbook__1->n4_a_driver_handbook__1_2 n4_a_driver_handbook__1_3 PUNC n4_a_driver_handbook__1->n4_a_driver_handbook__1_3 n4_a_driver_handbook__1_4 PRN n4_a_driver_handbook__1->n4_a_driver_handbook__1_4 n4_a_driver_handbook__1_1->n4_a_driver_handbook__1_1_1 n4_a_driver_handbook__1_2->n4_a_driver_handbook__1_2_1 n4_a_driver_handbook__1_3->n4_a_driver_handbook__1_3_1 n4_a_driver_handbook__1_4_1 NP n4_a_driver_handbook__1_4->n4_a_driver_handbook__1_4_1 n4_a_driver_handbook__1_4_1_1 N n4_a_driver_handbook__1_4_1->n4_a_driver_handbook__1_4_1_1 n4_a_driver_handbook__1_4_1_2 NS n4_a_driver_handbook__1_4_1->n4_a_driver_handbook__1_4_1_2 n4_a_driver_handbook__1_4_1_1->n4_a_driver_handbook__1_4_1_1_1 n4_a_driver_handbook__1_4_1_2->n4_a_driver_handbook__1_4_1_2_1 
( (NP (N Section;{section})
      (NUM 2)
      (PUNC :)
      (PRN (NP (N Speed;{speed})
               (NS Limits;{limit}))))
  (ID 4_a_driver_handbook))


%3 z_0004_5007 r_0004_0001__Section_r_0004_0002__2 Section 2 z_0004_5007->r_0004_0001__Section_r_0004_0002__2 z_0004_5005 z_0004_5005->r_0004_0001__Section_r_0004_0002__2 [arg0] r_0004_0004__Speed_r_0004_0005__Limits Speed Limits z_0004_5005->r_0004_0004__Speed_r_0004_0005__Limits [prd] 
arc(z_0004_5005,r_0004_0001__Section_r_0004_0002__2,arg0).
arc(z_0004_5005,r_0004_0004__Speed_r_0004_0005__Limits,prd).
arc(z_0004_5007,r_0004_0001__Section_r_0004_0002__2,z_0004_5002).


%3 z_0004_5005 r_0004_0001__Section_r_0004_0002__2 Section 2 z_0004_5005->r_0004_0001__Section_r_0004_0002__2 [arg0] r_0004_0004__Speed_r_0004_0005__Limits Speed Limits z_0004_5005->r_0004_0004__Speed_r_0004_0005__Limits [prd] z_0004_5007 z_0004_5007->r_0004_0001__Section_r_0004_0002__2 
fof(formula,axiom,
    ? [R_0004_0001__SECTION_R_0004_0002__2,R_0004_0004__SPEED_R_0004_0005__LIMITS,Z_0004_5005,Z_0004_5007] :
      ( r_0004_0001__Section_r_0004_0002__2(R_0004_0001__SECTION_R_0004_0002__2)
      & r_0004_0004__Speed_r_0004_0005__Limits(R_0004_0004__SPEED_R_0004_0005__LIMITS)
      & z_0004_5007(Z_0004_5007)
      & has_z_0004_5002(Z_0004_5007,R_0004_0001__SECTION_R_0004_0002__2)
      & z_0004_5005(Z_0004_5005)
      & has_prd(Z_0004_5005,R_0004_0004__SPEED_R_0004_0005__LIMITS)
      & has_arg0(Z_0004_5005,R_0004_0001__SECTION_R_0004_0002__2) ) ).