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 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] 
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_4 Section n10_a_driver_handbook_6 3 n10_a_driver_handbook_8 : n10_a_driver_handbook_12 Maximum n10_a_driver_handbook_14 Speed n10_a_driver_handbook_16 Limits n10_a_driver_handbook_1 FRAG n10_a_driver_handbook_2 NP n10_a_driver_handbook_1->n10_a_driver_handbook_2 n10_a_driver_handbook_7 PUNC n10_a_driver_handbook_1->n10_a_driver_handbook_7 n10_a_driver_handbook_9 NP n10_a_driver_handbook_1->n10_a_driver_handbook_9 n10_a_driver_handbook_3 N n10_a_driver_handbook_2->n10_a_driver_handbook_3 n10_a_driver_handbook_5 NUM n10_a_driver_handbook_2->n10_a_driver_handbook_5 n10_a_driver_handbook_3->n10_a_driver_handbook_4 n10_a_driver_handbook_5->n10_a_driver_handbook_6 n10_a_driver_handbook_7->n10_a_driver_handbook_8 n10_a_driver_handbook_10 ADJP n10_a_driver_handbook_9->n10_a_driver_handbook_10 n10_a_driver_handbook_13 N n10_a_driver_handbook_9->n10_a_driver_handbook_13 n10_a_driver_handbook_15 NS n10_a_driver_handbook_9->n10_a_driver_handbook_15 n10_a_driver_handbook_11 ADJ n10_a_driver_handbook_10->n10_a_driver_handbook_11 n10_a_driver_handbook_11->n10_a_driver_handbook_12 n10_a_driver_handbook_13->n10_a_driver_handbook_14 n10_a_driver_handbook_15->n10_a_driver_handbook_16 
( (FRAG (NP (N Section;{section})
            (NUM 3))
        (PUNC :)
        (NP (ADJP (ADJ Maximum;{maximum}))
            (N Speed;{speed})
            (NS Limits;{limit})))
  (ID 10_a_driver_handbook))