Context                Previous, Next                Top


10_a_driver_handbook
Section 3: Maximum Speed Limits

%3 r_0010_0005__Speed_r_0010_0006__Limits Speed Limits r_0010_0004__Maximum Maximum r_0010_0005__Speed_r_0010_0006__Limits->r_0010_0004__Maximum [attrib] z_000_10_a_driver_handbook_1 z_000_10_a_driver_handbook_1->r_0010_0005__Speed_r_0010_0006__Limits [nim] r_0010_0001__Section_r_0010_0002__3 Section 3 z_000_10_a_driver_handbook_1->r_0010_0001__Section_r_0010_0002__3 [nim] 
arc(r_0010_0005__Speed_r_0010_0006__Limits, r_0010_0004__Maximum, attrib10).
arc(z_000_10_a_driver_handbook_1, r_0010_0001__Section_r_0010_0002__3, nim2).
arc(z_000_10_a_driver_handbook_1, r_0010_0005__Speed_r_0010_0006__Limits, nim9).


%3 z_000_10_a_driver_handbook_1 r_0010_0005__Speed_r_0010_0006__Limits Speed Limits z_000_10_a_driver_handbook_1->r_0010_0005__Speed_r_0010_0006__Limits [nim] r_0010_0001__Section_r_0010_0002__3 Section 3 z_000_10_a_driver_handbook_1->r_0010_0001__Section_r_0010_0002__3 [nim] r_0010_0004__Maximum Maximum r_0010_0005__Speed_r_0010_0006__Limits->r_0010_0004__Maximum [attrib] 
fof(formula,axiom,
    ? [R_0010_0001__SECTION_R_0010_0002__3,R_0010_0004__MAXIMUM,R_0010_0005__SPEED_R_0010_0006__LIMITS,Z_000_10_A_DRIVER_HANDBOOK_1] :
      ( r_0010_0001__Section_r_0010_0002__3(R_0010_0001__SECTION_R_0010_0002__3)
      & r_0010_0004__Maximum(R_0010_0004__MAXIMUM)
      & z_000_10_a_driver_handbook_1(Z_000_10_A_DRIVER_HANDBOOK_1)
      & has_nim9(Z_000_10_A_DRIVER_HANDBOOK_1,R_0010_0005__SPEED_R_0010_0006__LIMITS)
      & r_0010_0005__Speed_r_0010_0006__Limits(R_0010_0005__SPEED_R_0010_0006__LIMITS)
      & has_attrib10(R_0010_0005__SPEED_R_0010_0006__LIMITS,R_0010_0004__MAXIMUM)
      & has_nim2(Z_000_10_A_DRIVER_HANDBOOK_1,R_0010_0001__SECTION_R_0010_0002__3) ) ).


n10_a_driver_handbook n10_a_driver_handbook__1_1_1_1 Section n10_a_driver_handbook__1_1_2_1 3 n10_a_driver_handbook__1_2_1 : n10_a_driver_handbook__1_3_1_1_1 Maximum n10_a_driver_handbook__1_3_2_1 Speed n10_a_driver_handbook__1_3_3_1 Limits n10_a_driver_handbook__1 FRAG n10_a_driver_handbook__1_1 NP n10_a_driver_handbook__1->n10_a_driver_handbook__1_1 n10_a_driver_handbook__1_2 PUNC n10_a_driver_handbook__1->n10_a_driver_handbook__1_2 n10_a_driver_handbook__1_3 NP n10_a_driver_handbook__1->n10_a_driver_handbook__1_3 n10_a_driver_handbook__1_1_1 N n10_a_driver_handbook__1_1->n10_a_driver_handbook__1_1_1 n10_a_driver_handbook__1_1_2 NUM n10_a_driver_handbook__1_1->n10_a_driver_handbook__1_1_2 n10_a_driver_handbook__1_1_1->n10_a_driver_handbook__1_1_1_1 n10_a_driver_handbook__1_1_2->n10_a_driver_handbook__1_1_2_1 n10_a_driver_handbook__1_2->n10_a_driver_handbook__1_2_1 n10_a_driver_handbook__1_3_1 ADJP n10_a_driver_handbook__1_3->n10_a_driver_handbook__1_3_1 n10_a_driver_handbook__1_3_2 N n10_a_driver_handbook__1_3->n10_a_driver_handbook__1_3_2 n10_a_driver_handbook__1_3_3 NS n10_a_driver_handbook__1_3->n10_a_driver_handbook__1_3_3 n10_a_driver_handbook__1_3_1_1 ADJ n10_a_driver_handbook__1_3_1->n10_a_driver_handbook__1_3_1_1 n10_a_driver_handbook__1_3_1_1->n10_a_driver_handbook__1_3_1_1_1 n10_a_driver_handbook__1_3_2->n10_a_driver_handbook__1_3_2_1 n10_a_driver_handbook__1_3_3->n10_a_driver_handbook__1_3_3_1 
( (FRAG (NP (N Section;{section})
            (NUM 3))
        (PUNC :)
        (NP (ADJP (ADJ Maximum;{maximum}))
            (N Speed;{speed})
            (NS Limits;{limit})))
  (ID 10_a_driver_handbook))