Context                Previous, Next                Top


30_a_driver_handbook
When driving within 500 to 1,000 feet of a school while children are outside or crossing the street, the speed limit is 25 mph unless otherwise posted.

%3 r_0030_0001__When When r_0030_0011__while while r_0030_0001__When->r_0030_0011__while [restriction] r_0030_0026__unless unless r_0030_0001__When->r_0030_0026__unless [scope] r_0030_0002__driving driving r_0030_0011__while->r_0030_0002__driving [scope] r_0030_0013__are are r_0030_0011__while->r_0030_0013__are [restriction] r_0030_0023__is is r_0030_0026__unless->r_0030_0023__is [scope] r_0030_0028__posted posted r_0030_0026__unless->r_0030_0028__posted [restriction] r_0030_0004__500_r_0030_0007__feet 500 feet r_0030_0002__driving->r_0030_0004__500_r_0030_0007__feet within [nim] z_000_30_a_driver_handbook_5 r_0030_0002__driving->z_000_30_a_driver_handbook_5 [arg0] r_0030_0006__1_comma_000 1,000 r_0030_0004__500_r_0030_0007__feet->r_0030_0006__1_comma_000 to r_0030_0009__a_r_0030_0010__school a school r_0030_0004__500_r_0030_0007__feet->r_0030_0009__a_r_0030_0010__school of r_0030_0015__or or r_0030_0013__are->r_0030_0015__or [scope] r_0030_0016__crossing crossing r_0030_0015__or->r_0030_0016__crossing [conj2] z_000_30_a_driver_handbook_41 r_0030_0015__or->z_000_30_a_driver_handbook_41 [conj1] r_0030_0012__children children r_0030_0016__crossing->r_0030_0012__children [arg0] r_0030_0017__the_r_0030_0018__street the street r_0030_0016__crossing->r_0030_0017__the_r_0030_0018__street [arg1] z_000_30_a_driver_handbook_41->r_0030_0012__children [arg0] r_0030_0014__outside outside z_000_30_a_driver_handbook_41->r_0030_0014__outside [prd] r_0030_0020__the_r_0030_0021__speed_r_0030_0022__limit the speed limit r_0030_0023__is->r_0030_0020__the_r_0030_0021__speed_r_0030_0022__limit [arg0] r_0030_0024__25_r_0030_0025__mph 25 mph r_0030_0023__is->r_0030_0024__25_r_0030_0025__mph [prd] r_0030_0028__posted->r_0030_0020__the_r_0030_0021__speed_r_0030_0022__limit [arg1] r_0030_0027__otherwise otherwise r_0030_0028__posted->r_0030_0027__otherwise [nim] z_000_30_a_driver_handbook_76 r_0030_0028__posted->z_000_30_a_driver_handbook_76 [arg0] 
arc(r_0030_0001__When, r_0030_0011__while, restriction).
arc(r_0030_0001__When, r_0030_0026__unless, scope).
arc(r_0030_0002__driving, r_0030_0004__500_r_0030_0007__feet, r_0030_0003__within_nim11).
arc(r_0030_0002__driving, z_000_30_a_driver_handbook_5, arg0).
arc(r_0030_0004__500_r_0030_0007__feet, r_0030_0006__1_comma_000, r_0030_0005__to).
arc(r_0030_0004__500_r_0030_0007__feet, r_0030_0009__a_r_0030_0010__school, r_0030_0008__of).
arc(r_0030_0011__while, r_0030_0002__driving, scope).
arc(r_0030_0011__while, r_0030_0013__are, restriction).
arc(r_0030_0013__are, r_0030_0015__or, scope).
arc(r_0030_0015__or, r_0030_0016__crossing, conj2).
arc(r_0030_0015__or, z_000_30_a_driver_handbook_41, conj1).
arc(r_0030_0016__crossing, r_0030_0012__children, arg0).
arc(r_0030_0016__crossing, r_0030_0017__the_r_0030_0018__street, arg1).
arc(r_0030_0023__is, r_0030_0020__the_r_0030_0021__speed_r_0030_0022__limit, arg0).
arc(r_0030_0023__is, r_0030_0024__25_r_0030_0025__mph, prd).
arc(r_0030_0026__unless, r_0030_0023__is, scope).
arc(r_0030_0026__unless, r_0030_0028__posted, restriction).
arc(r_0030_0028__posted, r_0030_0020__the_r_0030_0021__speed_r_0030_0022__limit, arg1).
arc(r_0030_0028__posted, r_0030_0027__otherwise, nim78).
arc(r_0030_0028__posted, z_000_30_a_driver_handbook_76, arg0).
arc(z_000_30_a_driver_handbook_41, r_0030_0012__children, arg0).
arc(z_000_30_a_driver_handbook_41, r_0030_0014__outside, prd).


%3 r_0030_0001__When When r_0030_0011__while while r_0030_0001__When->r_0030_0011__while [restriction] r_0030_0026__unless unless r_0030_0001__When->r_0030_0026__unless [scope] r_0030_0002__driving driving r_0030_0011__while->r_0030_0002__driving [conj2] r_0030_0013__are are r_0030_0011__while->r_0030_0013__are [conj1] r_0030_0023__is is r_0030_0026__unless->r_0030_0023__is [conj2] r_0030_0028__posted posted r_0030_0026__unless->r_0030_0028__posted [conj1] r_0030_0004__500_r_0030_0007__feet 500 feet r_0030_0002__driving->r_0030_0004__500_r_0030_0007__feet within [nim] z_000_30_a_driver_handbook_5 r_0030_0002__driving->z_000_30_a_driver_handbook_5 [arg0] r_0030_0006__1_comma_000 1,000 r_0030_0004__500_r_0030_0007__feet->r_0030_0006__1_comma_000 to r_0030_0009__a_r_0030_0010__school a school r_0030_0004__500_r_0030_0007__feet->r_0030_0009__a_r_0030_0010__school of r_0030_0015__or or r_0030_0013__are->r_0030_0015__or [keep_scope] r_0030_0016__crossing crossing r_0030_0015__or->r_0030_0016__crossing [conj2] z_000_30_a_driver_handbook_41 r_0030_0015__or->z_000_30_a_driver_handbook_41 [conj1] r_0030_0012__children children r_0030_0016__crossing->r_0030_0012__children [arg0] r_0030_0017__the_r_0030_0018__street the street r_0030_0016__crossing->r_0030_0017__the_r_0030_0018__street [arg1] z_000_30_a_driver_handbook_41->r_0030_0012__children [arg0] r_0030_0014__outside outside z_000_30_a_driver_handbook_41->r_0030_0014__outside [prd] r_0030_0020__the_r_0030_0021__speed_r_0030_0022__limit the speed limit r_0030_0023__is->r_0030_0020__the_r_0030_0021__speed_r_0030_0022__limit [arg0] r_0030_0024__25_r_0030_0025__mph 25 mph r_0030_0023__is->r_0030_0024__25_r_0030_0025__mph [prd] r_0030_0028__posted->r_0030_0020__the_r_0030_0021__speed_r_0030_0022__limit [arg1] r_0030_0027__otherwise otherwise r_0030_0028__posted->r_0030_0027__otherwise [nim] z_000_30_a_driver_handbook_76 r_0030_0028__posted->z_000_30_a_driver_handbook_76 [arg0] 
fof(formula,axiom,
    ! [R_30_11_WHILE,R_30_2_DRIVING,Z_30_A_DRIVER_HANDBOOK_5,R_30_4_500_FEET,R_30_6_1_COMMA_,R_30_9_A_SCHOOL] :
      ( ( 1_comma_(R_30_6_1_COMMA_)
        & a_school(R_30_9_A_SCHOOL)
        & while(R_30_11_WHILE)
        & conj1(R_30_11_WHILE,R_30_13_ARE)
        & ~ ? [R_30_15_OR,Z_30_A_DRIVER_HANDBOOK_41,R_30_14_OUTSIDE,R_30_16_CROSSING,R_30_12_CHILDREN,R_30_17_THE_STREET] :
              ( outside(R_30_14_OUTSIDE)
              & children(R_30_12_CHILDREN)
              & the_street(R_30_17_THE_STREET)
              & or(R_30_15_OR)
              & conj1(R_30_15_OR,Z_30_A_DRIVER_HANDBOOK_41)
              & z_30_a_driver_handbook_41(Z_30_A_DRIVER_HANDBOOK_41,R_30_12_CHILDREN,R_30_14_OUTSIDE)
              & conj2(R_30_15_OR,R_30_16_CROSSING)
              & crossing(R_30_16_CROSSING,R_30_12_CHILDREN,R_30_17_THE_STREET) )
        & conj2(R_30_11_WHILE,R_30_2_DRIVING)
        & driving(R_30_2_DRIVING,Z_30_A_DRIVER_HANDBOOK_5)
        & within_nim11(R_30_2_DRIVING,R_30_4_500_FEET)
        & 500_feet(R_30_4_500_FEET)
        & to(R_30_4_500_FEET,R_30_6_1_COMMA_)
        & of(R_30_4_500_FEET,R_30_9_A_SCHOOL) )
     => ? [R_30_26_UNLESS,R_30_28_POSTED,Z_30_A_DRIVER_HANDBOOK_76,R_30_27_OTHERWISE,R_30_23_IS,R_30_20_THE_SPEED_LIMIT,R_30_24_25_MPH] :
          ( otherwise(R_30_27_OTHERWISE)
          & the_speed_limit(R_30_20_THE_SPEED_LIMIT)
          & 25_mph(R_30_24_25_MPH)
          & unless(R_30_26_UNLESS)
          & conj1(R_30_26_UNLESS,R_30_28_POSTED)
          & posted(R_30_28_POSTED,Z_30_A_DRIVER_HANDBOOK_76,R_30_20_THE_SPEED_LIMIT)
          & nim78(R_30_28_POSTED,R_30_27_OTHERWISE)
          & conj2(R_30_26_UNLESS,R_30_23_IS)
          & is(R_30_23_IS,R_30_20_THE_SPEED_LIMIT,R_30_24_25_MPH) ) ) ).


n30_a_driver_handbook n30_a_driver_handbook_4 When n30_a_driver_handbook_7 driving n30_a_driver_handbook_10 within n30_a_driver_handbook_13 500 n30_a_driver_handbook_16 to n30_a_driver_handbook_19 1,000 n30_a_driver_handbook_21 feet n30_a_driver_handbook_24 of n30_a_driver_handbook_27 a n30_a_driver_handbook_29 school n30_a_driver_handbook_32 while n30_a_driver_handbook_36 children n30_a_driver_handbook_38 are n30_a_driver_handbook_44 outside n30_a_driver_handbook_47 or n30_a_driver_handbook_50 crossing n30_a_driver_handbook_53 the n30_a_driver_handbook_55 street n30_a_driver_handbook_57 , n30_a_driver_handbook_60 the n30_a_driver_handbook_62 speed n30_a_driver_handbook_64 limit n30_a_driver_handbook_66 is n30_a_driver_handbook_69 25 n30_a_driver_handbook_71 mph n30_a_driver_handbook_74 unless n30_a_driver_handbook_77 * n30_a_driver_handbook_80 otherwise n30_a_driver_handbook_82 posted n30_a_driver_handbook_84 . n30_a_driver_handbook_1 IP-MAT n30_a_driver_handbook_2 PP-SCON n30_a_driver_handbook_1->n30_a_driver_handbook_2 n30_a_driver_handbook_56 PUNC n30_a_driver_handbook_1->n30_a_driver_handbook_56 n30_a_driver_handbook_58 NP-SBJ n30_a_driver_handbook_1->n30_a_driver_handbook_58 n30_a_driver_handbook_65 BEP;_Ln_ n30_a_driver_handbook_1->n30_a_driver_handbook_65 n30_a_driver_handbook_67 NP-PRD n30_a_driver_handbook_1->n30_a_driver_handbook_67 n30_a_driver_handbook_72 PP-SCON n30_a_driver_handbook_1->n30_a_driver_handbook_72 n30_a_driver_handbook_83 PUNC n30_a_driver_handbook_1->n30_a_driver_handbook_83 n30_a_driver_handbook_3 P-CONN n30_a_driver_handbook_2->n30_a_driver_handbook_3 n30_a_driver_handbook_5 IP-PPL3 n30_a_driver_handbook_2->n30_a_driver_handbook_5 n30_a_driver_handbook_3->n30_a_driver_handbook_4 n30_a_driver_handbook_6 VAG;_I_ n30_a_driver_handbook_5->n30_a_driver_handbook_6 n30_a_driver_handbook_8 PP-NIM n30_a_driver_handbook_5->n30_a_driver_handbook_8 n30_a_driver_handbook_30 PP-SCON n30_a_driver_handbook_5->n30_a_driver_handbook_30 n30_a_driver_handbook_6->n30_a_driver_handbook_7 n30_a_driver_handbook_9 P-ROLE n30_a_driver_handbook_8->n30_a_driver_handbook_9 n30_a_driver_handbook_11 NP n30_a_driver_handbook_8->n30_a_driver_handbook_11 n30_a_driver_handbook_9->n30_a_driver_handbook_10 n30_a_driver_handbook_12 NUM n30_a_driver_handbook_11->n30_a_driver_handbook_12 n30_a_driver_handbook_14 PP n30_a_driver_handbook_11->n30_a_driver_handbook_14 n30_a_driver_handbook_20 NS n30_a_driver_handbook_11->n30_a_driver_handbook_20 n30_a_driver_handbook_22 PP n30_a_driver_handbook_11->n30_a_driver_handbook_22 n30_a_driver_handbook_12->n30_a_driver_handbook_13 n30_a_driver_handbook_15 P-ROLE n30_a_driver_handbook_14->n30_a_driver_handbook_15 n30_a_driver_handbook_17 NP n30_a_driver_handbook_14->n30_a_driver_handbook_17 n30_a_driver_handbook_15->n30_a_driver_handbook_16 n30_a_driver_handbook_18 NUM n30_a_driver_handbook_17->n30_a_driver_handbook_18 n30_a_driver_handbook_18->n30_a_driver_handbook_19 n30_a_driver_handbook_20->n30_a_driver_handbook_21 n30_a_driver_handbook_23 P-ROLE n30_a_driver_handbook_22->n30_a_driver_handbook_23 n30_a_driver_handbook_25 NP n30_a_driver_handbook_22->n30_a_driver_handbook_25 n30_a_driver_handbook_23->n30_a_driver_handbook_24 n30_a_driver_handbook_26 D n30_a_driver_handbook_25->n30_a_driver_handbook_26 n30_a_driver_handbook_28 N n30_a_driver_handbook_25->n30_a_driver_handbook_28 n30_a_driver_handbook_26->n30_a_driver_handbook_27 n30_a_driver_handbook_28->n30_a_driver_handbook_29 n30_a_driver_handbook_31 P-CONN n30_a_driver_handbook_30->n30_a_driver_handbook_31 n30_a_driver_handbook_33 IP-ADV n30_a_driver_handbook_30->n30_a_driver_handbook_33 n30_a_driver_handbook_31->n30_a_driver_handbook_32 n30_a_driver_handbook_34 NP-SBJ n30_a_driver_handbook_33->n30_a_driver_handbook_34 n30_a_driver_handbook_37 BEP;_cat_Vg_ n30_a_driver_handbook_33->n30_a_driver_handbook_37 n30_a_driver_handbook_39 IP-PPL-CAT n30_a_driver_handbook_33->n30_a_driver_handbook_39 n30_a_driver_handbook_35 NS n30_a_driver_handbook_34->n30_a_driver_handbook_35 n30_a_driver_handbook_35->n30_a_driver_handbook_36 n30_a_driver_handbook_37->n30_a_driver_handbook_38 n30_a_driver_handbook_40 ILYR n30_a_driver_handbook_39->n30_a_driver_handbook_40 n30_a_driver_handbook_41 ILYR n30_a_driver_handbook_40->n30_a_driver_handbook_41 n30_a_driver_handbook_45 CONJP n30_a_driver_handbook_40->n30_a_driver_handbook_45 n30_a_driver_handbook_42 ADJP-PRD n30_a_driver_handbook_41->n30_a_driver_handbook_42 n30_a_driver_handbook_43 ADJ n30_a_driver_handbook_42->n30_a_driver_handbook_43 n30_a_driver_handbook_43->n30_a_driver_handbook_44 n30_a_driver_handbook_46 CONJ n30_a_driver_handbook_45->n30_a_driver_handbook_46 n30_a_driver_handbook_48 ILYR n30_a_driver_handbook_45->n30_a_driver_handbook_48 n30_a_driver_handbook_46->n30_a_driver_handbook_47 n30_a_driver_handbook_49 VAG;_Tn_ n30_a_driver_handbook_48->n30_a_driver_handbook_49 n30_a_driver_handbook_51 NP-OB1 n30_a_driver_handbook_48->n30_a_driver_handbook_51 n30_a_driver_handbook_49->n30_a_driver_handbook_50 n30_a_driver_handbook_52 D n30_a_driver_handbook_51->n30_a_driver_handbook_52 n30_a_driver_handbook_54 N n30_a_driver_handbook_51->n30_a_driver_handbook_54 n30_a_driver_handbook_52->n30_a_driver_handbook_53 n30_a_driver_handbook_54->n30_a_driver_handbook_55 n30_a_driver_handbook_56->n30_a_driver_handbook_57 n30_a_driver_handbook_59 D n30_a_driver_handbook_58->n30_a_driver_handbook_59 n30_a_driver_handbook_61 N n30_a_driver_handbook_58->n30_a_driver_handbook_61 n30_a_driver_handbook_63 N n30_a_driver_handbook_58->n30_a_driver_handbook_63 n30_a_driver_handbook_59->n30_a_driver_handbook_60 n30_a_driver_handbook_61->n30_a_driver_handbook_62 n30_a_driver_handbook_63->n30_a_driver_handbook_64 n30_a_driver_handbook_65->n30_a_driver_handbook_66 n30_a_driver_handbook_68 NUM n30_a_driver_handbook_67->n30_a_driver_handbook_68 n30_a_driver_handbook_70 N n30_a_driver_handbook_67->n30_a_driver_handbook_70 n30_a_driver_handbook_68->n30_a_driver_handbook_69 n30_a_driver_handbook_70->n30_a_driver_handbook_71 n30_a_driver_handbook_73 P-CONN n30_a_driver_handbook_72->n30_a_driver_handbook_73 n30_a_driver_handbook_75 IP-PPL n30_a_driver_handbook_72->n30_a_driver_handbook_75 n30_a_driver_handbook_73->n30_a_driver_handbook_74 n30_a_driver_handbook_76 NP-LGS n30_a_driver_handbook_75->n30_a_driver_handbook_76 n30_a_driver_handbook_78 ADVP-NIM n30_a_driver_handbook_75->n30_a_driver_handbook_78 n30_a_driver_handbook_81 VVN;_Tn_ n30_a_driver_handbook_75->n30_a_driver_handbook_81 n30_a_driver_handbook_76->n30_a_driver_handbook_77 n30_a_driver_handbook_79 ADV n30_a_driver_handbook_78->n30_a_driver_handbook_79 n30_a_driver_handbook_79->n30_a_driver_handbook_80 n30_a_driver_handbook_81->n30_a_driver_handbook_82 n30_a_driver_handbook_83->n30_a_driver_handbook_84 
( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-PPL3 (VAG;_I_ driving;{drive})
                            (PP-NIM (P-ROLE within;{within})
                                    (NP (NUM 500)
                                        (PP (P-ROLE to;{to})
                                            (NP (NUM 1,000)))
                                        (NS feet;{foot})
                                        (PP (P-ROLE of;{of})
                                            (NP (D a;{a})
                                                (N school;{school})))))
                            (PP-SCON (P-CONN while;{while})
                                     (IP-ADV (NP-SBJ (NS children;{child}))
                                             (BEP;_cat_Vg_ are;{be})
                                             (IP-PPL-CAT (ILYR (ILYR (ADJP-PRD (ADJ outside;{outside})))
                                                               (CONJP (CONJ or;{or})
                                                                      (ILYR (VAG;_Tn_ crossing;{cross})
                                                                            (NP-OB1 (D the;{the})
                                                                                    (N street;{street}))))))))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N speed;{speed})
                  (N limit;{limit}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (NUM 25)
                  (N mph;{mph}))
          (PP-SCON (P-CONN unless;{unless})
                   (IP-PPL (NP-LGS *)
                           (ADVP-NIM (ADV otherwise;{otherwise}))
                           (VVN;_Tn_ posted;{post})))
          (PUNC .))
  (ID 30_a_driver_handbook))