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,
    ? [Z_10_A_DRIVER_HANDBOOK_1,R_10_1_SECTION_3,R_10_5_SPEED_LIMITS,R_10_4_MAXIMUM] :
      ( section_3(R_10_1_SECTION_3)
      & maximum(R_10_4_MAXIMUM)
      & z_10_a_driver_handbook_1(Z_10_A_DRIVER_HANDBOOK_1)
      & nim2(Z_10_A_DRIVER_HANDBOOK_1,R_10_1_SECTION_3)
      & nim9(Z_10_A_DRIVER_HANDBOOK_1,R_10_5_SPEED_LIMITS)
      & speed_Limits(R_10_5_SPEED_LIMITS)
      & attrib10(R_10_5_SPEED_LIMITS,R_10_4_MAXIMUM) ) ).


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))