Context                Previous, Next                Top


13_a_driver_handbook
Unless otherwise posted, the maximum speed limit is 55 mph on two - lane undivided highways and for vehicles towing trailers.

%3 r_0013_0001__Unless Unless r_0013_0003__posted posted r_0013_0001__Unless->r_0013_0003__posted [restriction] r_0013_0018__and and r_0013_0001__Unless->r_0013_0018__and [scope] r_0013_0002__otherwise otherwise r_0013_0003__posted->r_0013_0002__otherwise [nim] r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit the speed limit r_0013_0003__posted->r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit [arg1] z_000_13_a_driver_handbook_6 r_0013_0003__posted->z_000_13_a_driver_handbook_6 [arg0] r_0013_0009__is is r_0013_0018__and->r_0013_0009__is [conj1] z_000_13_a_driver_handbook_52 r_0013_0018__and->z_000_13_a_driver_handbook_52 [conj2] r_0013_0006__maximum maximum r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit->r_0013_0006__maximum [attrib] r_0013_0009__is->r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit [arg0] r_0013_0010__55_r_0013_0011__mph 55 mph r_0013_0009__is->r_0013_0010__55_r_0013_0011__mph [prd] r_0013_0013__two_r_0013_0015__lane_r_0013_0017__highways two lane highways r_0013_0009__is->r_0013_0013__two_r_0013_0015__lane_r_0013_0017__highways on [nim] r_0013_0016__undivided undivided r_0013_0013__two_r_0013_0015__lane_r_0013_0017__highways->r_0013_0016__undivided [attrib] z_000_13_a_driver_handbook_52->r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit [arg0] r_0013_0020__vehicles vehicles z_000_13_a_driver_handbook_52->r_0013_0020__vehicles for [nim] r_0013_0021__towing towing r_0013_0021__towing->r_0013_0020__vehicles [arg0] r_0013_0022__trailers trailers r_0013_0021__towing->r_0013_0022__trailers [arg1] 
arc(r_0013_0001__Unless, r_0013_0003__posted, restriction).
arc(r_0013_0001__Unless, r_0013_0018__and, scope).
arc(r_0013_0003__posted, r_0013_0002__otherwise, nim8).
arc(r_0013_0003__posted, r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit, arg1).
arc(r_0013_0003__posted, z_000_13_a_driver_handbook_6, arg0).
arc(r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit, r_0013_0006__maximum, attrib18).
arc(r_0013_0009__is, r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit, arg0).
arc(r_0013_0009__is, r_0013_0010__55_r_0013_0011__mph, prd).
arc(r_0013_0009__is, r_0013_0013__two_r_0013_0015__lane_r_0013_0017__highways, r_0013_0012__on_nim37).
arc(r_0013_0013__two_r_0013_0015__lane_r_0013_0017__highways, r_0013_0016__undivided, attrib44).
arc(r_0013_0018__and, r_0013_0009__is, conj1).
arc(r_0013_0018__and, z_000_13_a_driver_handbook_52, conj2).
arc(r_0013_0021__towing, r_0013_0020__vehicles, arg0).
arc(r_0013_0021__towing, r_0013_0022__trailers, arg1).
arc(z_000_13_a_driver_handbook_52, r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit, arg0).
arc(z_000_13_a_driver_handbook_52, r_0013_0020__vehicles, r_0013_0019__for_nim56).


%3 z_000_13_a_driver_handbook_52 r_0013_0020__vehicles vehicles z_000_13_a_driver_handbook_52->r_0013_0020__vehicles for [nim] r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit the speed limit z_000_13_a_driver_handbook_52->r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit [arg0] r_0013_0006__maximum maximum r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit->r_0013_0006__maximum [attrib] r_0013_0021__towing towing r_0013_0021__towing->r_0013_0020__vehicles [arg0] r_0013_0022__trailers trailers r_0013_0021__towing->r_0013_0022__trailers [arg1] r_0013_0018__and and r_0013_0018__and->z_000_13_a_driver_handbook_52 [conj2] r_0013_0009__is is r_0013_0018__and->r_0013_0009__is [conj1] r_0013_0009__is->r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit [arg0] r_0013_0013__two_r_0013_0015__lane_r_0013_0017__highways two lane highways r_0013_0009__is->r_0013_0013__two_r_0013_0015__lane_r_0013_0017__highways on [nim] r_0013_0010__55_r_0013_0011__mph 55 mph r_0013_0009__is->r_0013_0010__55_r_0013_0011__mph [prd] r_0013_0016__undivided undivided r_0013_0013__two_r_0013_0015__lane_r_0013_0017__highways->r_0013_0016__undivided [attrib] r_0013_0003__posted posted r_0013_0003__posted->r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit [arg1] z_000_13_a_driver_handbook_6 r_0013_0003__posted->z_000_13_a_driver_handbook_6 [arg0] r_0013_0002__otherwise otherwise r_0013_0003__posted->r_0013_0002__otherwise [nim] r_0013_0001__Unless Unless r_0013_0001__Unless->r_0013_0018__and [conj2] r_0013_0001__Unless->r_0013_0003__posted [conj1] 
fof(formula,axiom,
    ? [R_13_1_UNLESS,R_13_3_POSTED,Z_13_A_DRIVER_HANDBOOK_6,R_13_2_OTHERWISE,R_13_18_AND,R_13_9_IS,R_13_10_55_MPH,R_13_13_TWO_LANE_HIGHWAYS,R_13_16_UNDIVIDED,Z_13_A_DRIVER_HANDBOOK_52,R_13_5_THE_SPEED_LIMIT,R_13_6_MAXIMUM,R_13_21_TOWING,R_13_20_VEHICLES,R_13_22_TRAILERS] :
      ( otherwise(R_13_2_OTHERWISE)
      & 55_mph(R_13_10_55_MPH)
      & undivided(R_13_16_UNDIVIDED)
      & maximum(R_13_6_MAXIMUM)
      & vehicles(R_13_20_VEHICLES)
      & trailers(R_13_22_TRAILERS)
      & unless(R_13_1_UNLESS)
      & conj1(R_13_1_UNLESS,R_13_3_POSTED)
      & posted(R_13_3_POSTED,Z_13_A_DRIVER_HANDBOOK_6,R_13_5_THE_SPEED_LIMIT)
      & the_speed_limit(R_13_5_THE_SPEED_LIMIT)
      & attrib18(R_13_5_THE_SPEED_LIMIT,R_13_6_MAXIMUM)
      & nim8(R_13_3_POSTED,R_13_2_OTHERWISE)
      & conj2(R_13_1_UNLESS,R_13_18_AND)
      & and(R_13_18_AND)
      & conj1(R_13_18_AND,R_13_9_IS)
      & is(R_13_9_IS,R_13_5_THE_SPEED_LIMIT,R_13_10_55_MPH)
      & on_nim37(R_13_9_IS,R_13_13_TWO_LANE_HIGHWAYS)
      & two_lane_highways(R_13_13_TWO_LANE_HIGHWAYS)
      & attrib44(R_13_13_TWO_LANE_HIGHWAYS,R_13_16_UNDIVIDED)
      & conj2(R_13_18_AND,Z_13_A_DRIVER_HANDBOOK_52)
      & z_13_a_driver_handbook_52(Z_13_A_DRIVER_HANDBOOK_52,R_13_5_THE_SPEED_LIMIT)
      & for_nim56(Z_13_A_DRIVER_HANDBOOK_52,R_13_20_VEHICLES)
      & towing(R_13_21_TOWING,R_13_20_VEHICLES,R_13_22_TRAILERS) ) ).


n13_a_driver_handbook n13_a_driver_handbook__1_1_1_1 Unless n13_a_driver_handbook__1_1_2_1_1 * n13_a_driver_handbook__1_1_2_2_1_1 otherwise n13_a_driver_handbook__1_1_2_3_1 posted n13_a_driver_handbook__1_2_1 , n13_a_driver_handbook__1_3_1_1 the n13_a_driver_handbook__1_3_2_1_1 maximum n13_a_driver_handbook__1_3_3_1 speed n13_a_driver_handbook__1_3_4_1 limit n13_a_driver_handbook__1_4_1_1_1 is n13_a_driver_handbook__1_4_1_2_1_1 55 n13_a_driver_handbook__1_4_1_2_2_1 mph n13_a_driver_handbook__1_4_1_3_1_1 on n13_a_driver_handbook__1_4_1_3_2_1_1 two n13_a_driver_handbook__1_4_1_3_2_2_1 - n13_a_driver_handbook__1_4_1_3_2_3_1 lane n13_a_driver_handbook__1_4_1_3_2_4_1_1 undivided n13_a_driver_handbook__1_4_1_3_2_5_1 highways n13_a_driver_handbook__1_4_2_1_1 and n13_a_driver_handbook__1_4_2_2_1_1_1 for n13_a_driver_handbook__1_4_2_2_1_2_1_1 vehicles n13_a_driver_handbook__1_4_2_2_1_2_2_1_1 towing n13_a_driver_handbook__1_4_2_2_1_2_2_2_1_1 trailers n13_a_driver_handbook__1_5_1 . n13_a_driver_handbook__1 IP-MAT n13_a_driver_handbook__1_1 PP-SCON n13_a_driver_handbook__1->n13_a_driver_handbook__1_1 n13_a_driver_handbook__1_2 PUNC n13_a_driver_handbook__1->n13_a_driver_handbook__1_2 n13_a_driver_handbook__1_3 NP-SBJ n13_a_driver_handbook__1->n13_a_driver_handbook__1_3 n13_a_driver_handbook__1_4 ILYR n13_a_driver_handbook__1->n13_a_driver_handbook__1_4 n13_a_driver_handbook__1_5 PUNC n13_a_driver_handbook__1->n13_a_driver_handbook__1_5 n13_a_driver_handbook__1_1_1 P-CONN n13_a_driver_handbook__1_1->n13_a_driver_handbook__1_1_1 n13_a_driver_handbook__1_1_2 IP-PPL2 n13_a_driver_handbook__1_1->n13_a_driver_handbook__1_1_2 n13_a_driver_handbook__1_1_1->n13_a_driver_handbook__1_1_1_1 n13_a_driver_handbook__1_1_2_1 NP-LGS n13_a_driver_handbook__1_1_2->n13_a_driver_handbook__1_1_2_1 n13_a_driver_handbook__1_1_2_2 ADVP-NIM n13_a_driver_handbook__1_1_2->n13_a_driver_handbook__1_1_2_2 n13_a_driver_handbook__1_1_2_3 VVN;_Tn_ n13_a_driver_handbook__1_1_2->n13_a_driver_handbook__1_1_2_3 n13_a_driver_handbook__1_1_2_1->n13_a_driver_handbook__1_1_2_1_1 n13_a_driver_handbook__1_1_2_2_1 ADV n13_a_driver_handbook__1_1_2_2->n13_a_driver_handbook__1_1_2_2_1 n13_a_driver_handbook__1_1_2_2_1->n13_a_driver_handbook__1_1_2_2_1_1 n13_a_driver_handbook__1_1_2_3->n13_a_driver_handbook__1_1_2_3_1 n13_a_driver_handbook__1_2->n13_a_driver_handbook__1_2_1 n13_a_driver_handbook__1_3_1 D n13_a_driver_handbook__1_3->n13_a_driver_handbook__1_3_1 n13_a_driver_handbook__1_3_2 ADJP n13_a_driver_handbook__1_3->n13_a_driver_handbook__1_3_2 n13_a_driver_handbook__1_3_3 N n13_a_driver_handbook__1_3->n13_a_driver_handbook__1_3_3 n13_a_driver_handbook__1_3_4 N n13_a_driver_handbook__1_3->n13_a_driver_handbook__1_3_4 n13_a_driver_handbook__1_3_1->n13_a_driver_handbook__1_3_1_1 n13_a_driver_handbook__1_3_2_1 ADJ n13_a_driver_handbook__1_3_2->n13_a_driver_handbook__1_3_2_1 n13_a_driver_handbook__1_3_2_1->n13_a_driver_handbook__1_3_2_1_1 n13_a_driver_handbook__1_3_3->n13_a_driver_handbook__1_3_3_1 n13_a_driver_handbook__1_3_4->n13_a_driver_handbook__1_3_4_1 n13_a_driver_handbook__1_4_1 ILYR n13_a_driver_handbook__1_4->n13_a_driver_handbook__1_4_1 n13_a_driver_handbook__1_4_2 CONJP n13_a_driver_handbook__1_4->n13_a_driver_handbook__1_4_2 n13_a_driver_handbook__1_4_1_1 BEP;_Ln_ n13_a_driver_handbook__1_4_1->n13_a_driver_handbook__1_4_1_1 n13_a_driver_handbook__1_4_1_2 NP-PRD n13_a_driver_handbook__1_4_1->n13_a_driver_handbook__1_4_1_2 n13_a_driver_handbook__1_4_1_3 PP-NIM n13_a_driver_handbook__1_4_1->n13_a_driver_handbook__1_4_1_3 n13_a_driver_handbook__1_4_1_1->n13_a_driver_handbook__1_4_1_1_1 n13_a_driver_handbook__1_4_1_2_1 NUM n13_a_driver_handbook__1_4_1_2->n13_a_driver_handbook__1_4_1_2_1 n13_a_driver_handbook__1_4_1_2_2 N n13_a_driver_handbook__1_4_1_2->n13_a_driver_handbook__1_4_1_2_2 n13_a_driver_handbook__1_4_1_2_1->n13_a_driver_handbook__1_4_1_2_1_1 n13_a_driver_handbook__1_4_1_2_2->n13_a_driver_handbook__1_4_1_2_2_1 n13_a_driver_handbook__1_4_1_3_1 P-ROLE n13_a_driver_handbook__1_4_1_3->n13_a_driver_handbook__1_4_1_3_1 n13_a_driver_handbook__1_4_1_3_2 NP n13_a_driver_handbook__1_4_1_3->n13_a_driver_handbook__1_4_1_3_2 n13_a_driver_handbook__1_4_1_3_1->n13_a_driver_handbook__1_4_1_3_1_1 n13_a_driver_handbook__1_4_1_3_2_1 NUM n13_a_driver_handbook__1_4_1_3_2->n13_a_driver_handbook__1_4_1_3_2_1 n13_a_driver_handbook__1_4_1_3_2_2 PUNC n13_a_driver_handbook__1_4_1_3_2->n13_a_driver_handbook__1_4_1_3_2_2 n13_a_driver_handbook__1_4_1_3_2_3 N n13_a_driver_handbook__1_4_1_3_2->n13_a_driver_handbook__1_4_1_3_2_3 n13_a_driver_handbook__1_4_1_3_2_4 ADJP n13_a_driver_handbook__1_4_1_3_2->n13_a_driver_handbook__1_4_1_3_2_4 n13_a_driver_handbook__1_4_1_3_2_5 NS n13_a_driver_handbook__1_4_1_3_2->n13_a_driver_handbook__1_4_1_3_2_5 n13_a_driver_handbook__1_4_1_3_2_1->n13_a_driver_handbook__1_4_1_3_2_1_1 n13_a_driver_handbook__1_4_1_3_2_2->n13_a_driver_handbook__1_4_1_3_2_2_1 n13_a_driver_handbook__1_4_1_3_2_3->n13_a_driver_handbook__1_4_1_3_2_3_1 n13_a_driver_handbook__1_4_1_3_2_4_1 ADJ n13_a_driver_handbook__1_4_1_3_2_4->n13_a_driver_handbook__1_4_1_3_2_4_1 n13_a_driver_handbook__1_4_1_3_2_4_1->n13_a_driver_handbook__1_4_1_3_2_4_1_1 n13_a_driver_handbook__1_4_1_3_2_5->n13_a_driver_handbook__1_4_1_3_2_5_1 n13_a_driver_handbook__1_4_2_1 CONJ n13_a_driver_handbook__1_4_2->n13_a_driver_handbook__1_4_2_1 n13_a_driver_handbook__1_4_2_2 ILYR n13_a_driver_handbook__1_4_2->n13_a_driver_handbook__1_4_2_2 n13_a_driver_handbook__1_4_2_1->n13_a_driver_handbook__1_4_2_1_1 n13_a_driver_handbook__1_4_2_2_1 PP-NIM n13_a_driver_handbook__1_4_2_2->n13_a_driver_handbook__1_4_2_2_1 n13_a_driver_handbook__1_4_2_2_1_1 P-ROLE n13_a_driver_handbook__1_4_2_2_1->n13_a_driver_handbook__1_4_2_2_1_1 n13_a_driver_handbook__1_4_2_2_1_2 NP n13_a_driver_handbook__1_4_2_2_1->n13_a_driver_handbook__1_4_2_2_1_2 n13_a_driver_handbook__1_4_2_2_1_1->n13_a_driver_handbook__1_4_2_2_1_1_1 n13_a_driver_handbook__1_4_2_2_1_2_1 NS n13_a_driver_handbook__1_4_2_2_1_2->n13_a_driver_handbook__1_4_2_2_1_2_1 n13_a_driver_handbook__1_4_2_2_1_2_2 IP-PPL n13_a_driver_handbook__1_4_2_2_1_2->n13_a_driver_handbook__1_4_2_2_1_2_2 n13_a_driver_handbook__1_4_2_2_1_2_1->n13_a_driver_handbook__1_4_2_2_1_2_1_1 n13_a_driver_handbook__1_4_2_2_1_2_2_1 VAG;_Tn_ n13_a_driver_handbook__1_4_2_2_1_2_2->n13_a_driver_handbook__1_4_2_2_1_2_2_1 n13_a_driver_handbook__1_4_2_2_1_2_2_2 NP-OB1 n13_a_driver_handbook__1_4_2_2_1_2_2->n13_a_driver_handbook__1_4_2_2_1_2_2_2 n13_a_driver_handbook__1_4_2_2_1_2_2_1->n13_a_driver_handbook__1_4_2_2_1_2_2_1_1 n13_a_driver_handbook__1_4_2_2_1_2_2_2_1 NS n13_a_driver_handbook__1_4_2_2_1_2_2_2->n13_a_driver_handbook__1_4_2_2_1_2_2_2_1 n13_a_driver_handbook__1_4_2_2_1_2_2_2_1->n13_a_driver_handbook__1_4_2_2_1_2_2_2_1_1 n13_a_driver_handbook__1_5->n13_a_driver_handbook__1_5_1 
( (IP-MAT (PP-SCON (P-CONN Unless;{unless})
                   (IP-PPL2 (NP-LGS *)
                            (ADVP-NIM (ADV otherwise;{otherwise}))
                            (VVN;_Tn_ posted;{post})))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ maximum;{maximum}))
                  (N speed;{speed})
                  (N limit;{limit}))
          (ILYR (ILYR (BEP;_Ln_ is;{be})
                      (NP-PRD (NUM 55)
                              (N mph;{mph}))
                      (PP-NIM (P-ROLE on;{on})
                              (NP (NUM two;{two})
                                  (PUNC <hyphen>)
                                  (N lane;{lane})
                                  (ADJP (ADJ undivided;{undivided}))
                                  (NS highways;{highway}))))
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (P-ROLE for;{for})
                                     (NP (NS vehicles;{vehicle})
                                         (IP-PPL (VAG;_Tn_ towing;{tow})
                                                 (NP-OB1 (NS trailers;{trailer}))))))))
          (PUNC .))
  (ID 13_a_driver_handbook))