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 r_0013_0001__Unless Unless r_0013_0003__posted posted r_0013_0001__Unless->r_0013_0003__posted [conj1] r_0013_0018__and and r_0013_0001__Unless->r_0013_0018__and [conj2] 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] 
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_7 * n13_a_driver_handbook_10 otherwise n13_a_driver_handbook_12 posted n13_a_driver_handbook_14 , n13_a_driver_handbook_17 the n13_a_driver_handbook_20 maximum n13_a_driver_handbook_22 speed n13_a_driver_handbook_24 limit n13_a_driver_handbook_28 is n13_a_driver_handbook_31 55 n13_a_driver_handbook_33 mph n13_a_driver_handbook_36 on n13_a_driver_handbook_39 two n13_a_driver_handbook_41 - n13_a_driver_handbook_43 lane n13_a_driver_handbook_46 undivided n13_a_driver_handbook_48 highways n13_a_driver_handbook_51 and n13_a_driver_handbook_55 for n13_a_driver_handbook_58 vehicles n13_a_driver_handbook_61 towing n13_a_driver_handbook_64 trailers n13_a_driver_handbook_66 . n13_a_driver_handbook_4 Unless n13_a_driver_handbook_1 IP-MAT n13_a_driver_handbook_2 PP-SCON n13_a_driver_handbook_1->n13_a_driver_handbook_2 n13_a_driver_handbook_13 PUNC n13_a_driver_handbook_1->n13_a_driver_handbook_13 n13_a_driver_handbook_15 NP-SBJ n13_a_driver_handbook_1->n13_a_driver_handbook_15 n13_a_driver_handbook_25 ILYR n13_a_driver_handbook_1->n13_a_driver_handbook_25 n13_a_driver_handbook_65 PUNC n13_a_driver_handbook_1->n13_a_driver_handbook_65 n13_a_driver_handbook_3 P-CONN n13_a_driver_handbook_2->n13_a_driver_handbook_3 n13_a_driver_handbook_5 IP-PPL2 n13_a_driver_handbook_2->n13_a_driver_handbook_5 n13_a_driver_handbook_3->n13_a_driver_handbook_4 n13_a_driver_handbook_6 NP-LGS n13_a_driver_handbook_5->n13_a_driver_handbook_6 n13_a_driver_handbook_8 ADVP-NIM n13_a_driver_handbook_5->n13_a_driver_handbook_8 n13_a_driver_handbook_11 VVN;_Tn_ n13_a_driver_handbook_5->n13_a_driver_handbook_11 n13_a_driver_handbook_6->n13_a_driver_handbook_7 n13_a_driver_handbook_9 ADV n13_a_driver_handbook_8->n13_a_driver_handbook_9 n13_a_driver_handbook_9->n13_a_driver_handbook_10 n13_a_driver_handbook_11->n13_a_driver_handbook_12 n13_a_driver_handbook_13->n13_a_driver_handbook_14 n13_a_driver_handbook_16 D n13_a_driver_handbook_15->n13_a_driver_handbook_16 n13_a_driver_handbook_18 ADJP n13_a_driver_handbook_15->n13_a_driver_handbook_18 n13_a_driver_handbook_21 N n13_a_driver_handbook_15->n13_a_driver_handbook_21 n13_a_driver_handbook_23 N n13_a_driver_handbook_15->n13_a_driver_handbook_23 n13_a_driver_handbook_16->n13_a_driver_handbook_17 n13_a_driver_handbook_19 ADJ n13_a_driver_handbook_18->n13_a_driver_handbook_19 n13_a_driver_handbook_19->n13_a_driver_handbook_20 n13_a_driver_handbook_21->n13_a_driver_handbook_22 n13_a_driver_handbook_23->n13_a_driver_handbook_24 n13_a_driver_handbook_26 ILYR n13_a_driver_handbook_25->n13_a_driver_handbook_26 n13_a_driver_handbook_49 CONJP n13_a_driver_handbook_25->n13_a_driver_handbook_49 n13_a_driver_handbook_27 BEP;_Ln_ n13_a_driver_handbook_26->n13_a_driver_handbook_27 n13_a_driver_handbook_29 NP-PRD n13_a_driver_handbook_26->n13_a_driver_handbook_29 n13_a_driver_handbook_34 PP-NIM n13_a_driver_handbook_26->n13_a_driver_handbook_34 n13_a_driver_handbook_27->n13_a_driver_handbook_28 n13_a_driver_handbook_30 NUM n13_a_driver_handbook_29->n13_a_driver_handbook_30 n13_a_driver_handbook_32 N n13_a_driver_handbook_29->n13_a_driver_handbook_32 n13_a_driver_handbook_30->n13_a_driver_handbook_31 n13_a_driver_handbook_32->n13_a_driver_handbook_33 n13_a_driver_handbook_35 P-ROLE n13_a_driver_handbook_34->n13_a_driver_handbook_35 n13_a_driver_handbook_37 NP n13_a_driver_handbook_34->n13_a_driver_handbook_37 n13_a_driver_handbook_35->n13_a_driver_handbook_36 n13_a_driver_handbook_38 NUM n13_a_driver_handbook_37->n13_a_driver_handbook_38 n13_a_driver_handbook_40 PUNC n13_a_driver_handbook_37->n13_a_driver_handbook_40 n13_a_driver_handbook_42 N n13_a_driver_handbook_37->n13_a_driver_handbook_42 n13_a_driver_handbook_44 ADJP n13_a_driver_handbook_37->n13_a_driver_handbook_44 n13_a_driver_handbook_47 NS n13_a_driver_handbook_37->n13_a_driver_handbook_47 n13_a_driver_handbook_38->n13_a_driver_handbook_39 n13_a_driver_handbook_40->n13_a_driver_handbook_41 n13_a_driver_handbook_42->n13_a_driver_handbook_43 n13_a_driver_handbook_45 ADJ n13_a_driver_handbook_44->n13_a_driver_handbook_45 n13_a_driver_handbook_45->n13_a_driver_handbook_46 n13_a_driver_handbook_47->n13_a_driver_handbook_48 n13_a_driver_handbook_50 CONJ n13_a_driver_handbook_49->n13_a_driver_handbook_50 n13_a_driver_handbook_52 ILYR n13_a_driver_handbook_49->n13_a_driver_handbook_52 n13_a_driver_handbook_50->n13_a_driver_handbook_51 n13_a_driver_handbook_53 PP-NIM n13_a_driver_handbook_52->n13_a_driver_handbook_53 n13_a_driver_handbook_54 P-ROLE n13_a_driver_handbook_53->n13_a_driver_handbook_54 n13_a_driver_handbook_56 NP n13_a_driver_handbook_53->n13_a_driver_handbook_56 n13_a_driver_handbook_54->n13_a_driver_handbook_55 n13_a_driver_handbook_57 NS n13_a_driver_handbook_56->n13_a_driver_handbook_57 n13_a_driver_handbook_59 IP-PPL n13_a_driver_handbook_56->n13_a_driver_handbook_59 n13_a_driver_handbook_57->n13_a_driver_handbook_58 n13_a_driver_handbook_60 VAG;_Tn_ n13_a_driver_handbook_59->n13_a_driver_handbook_60 n13_a_driver_handbook_62 NP-OB1 n13_a_driver_handbook_59->n13_a_driver_handbook_62 n13_a_driver_handbook_60->n13_a_driver_handbook_61 n13_a_driver_handbook_63 NS n13_a_driver_handbook_62->n13_a_driver_handbook_63 n13_a_driver_handbook_63->n13_a_driver_handbook_64 n13_a_driver_handbook_65->n13_a_driver_handbook_66 
( (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))