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_0013__are are r_0030_0015__or or r_0030_0013__are->r_0030_0015__or [keep_scope] z_000_30_a_driver_handbook_41 r_0030_0015__or->z_000_30_a_driver_handbook_41 [conj1] r_0030_0016__crossing crossing r_0030_0015__or->r_0030_0016__crossing [conj2] r_0030_0014__outside outside z_000_30_a_driver_handbook_41->r_0030_0014__outside [prd] r_0030_0012__children children z_000_30_a_driver_handbook_41->r_0030_0012__children [arg0] r_0030_0028__posted posted z_000_30_a_driver_handbook_76 r_0030_0028__posted->z_000_30_a_driver_handbook_76 [arg0] r_0030_0027__otherwise otherwise r_0030_0028__posted->r_0030_0027__otherwise [nim] r_0030_0020__the_r_0030_0021__speed_r_0030_0022__limit the speed limit r_0030_0028__posted->r_0030_0020__the_r_0030_0021__speed_r_0030_0022__limit [arg1] r_0030_0026__unless unless r_0030_0026__unless->r_0030_0028__posted [conj1] r_0030_0023__is is r_0030_0026__unless->r_0030_0023__is [conj2] 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_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] r_0030_0011__while while r_0030_0011__while->r_0030_0013__are [conj1] r_0030_0002__driving driving r_0030_0011__while->r_0030_0002__driving [conj2] 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_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_0006__1_comma_000 1,000 r_0030_0004__500_r_0030_0007__feet->r_0030_0006__1_comma_000 to r_0030_0001__When When r_0030_0001__When->r_0030_0026__unless [scope] r_0030_0001__When->r_0030_0011__while [restriction] 
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__1_1_1_1 When n30_a_driver_handbook__1_1_2_1_1 driving n30_a_driver_handbook__1_1_2_2_1_1 within n30_a_driver_handbook__1_1_2_2_2_1_1 500 n30_a_driver_handbook__1_1_2_2_2_2_1_1 to n30_a_driver_handbook__1_1_2_2_2_2_2_1_1 1,000 n30_a_driver_handbook__1_1_2_2_2_3_1 feet n30_a_driver_handbook__1_1_2_2_2_4_1_1 of n30_a_driver_handbook__1_1_2_2_2_4_2_1_1 a n30_a_driver_handbook__1_1_2_2_2_4_2_2_1 school n30_a_driver_handbook__1_1_2_3_1_1 while n30_a_driver_handbook__1_1_2_3_2_1_1_1 children n30_a_driver_handbook__1_1_2_3_2_2_1 are n30_a_driver_handbook__1_1_2_3_2_3_1_1_1_1_1 outside n30_a_driver_handbook__1_1_2_3_2_3_1_2_1_1 or n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_1_1 crossing n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2_1_1 the n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2_2_1 street n30_a_driver_handbook__1_2_1 , n30_a_driver_handbook__1_3_1_1 the n30_a_driver_handbook__1_3_2_1 speed n30_a_driver_handbook__1_3_3_1 limit n30_a_driver_handbook__1_4_1 is n30_a_driver_handbook__1_5_1_1 25 n30_a_driver_handbook__1_5_2_1 mph n30_a_driver_handbook__1_6_1_1 unless n30_a_driver_handbook__1_6_2_1_1 * n30_a_driver_handbook__1_6_2_2_1_1 otherwise n30_a_driver_handbook__1_6_2_3_1 posted n30_a_driver_handbook__1_7_1 . n30_a_driver_handbook__1 IP-MAT n30_a_driver_handbook__1_1 PP-SCON n30_a_driver_handbook__1->n30_a_driver_handbook__1_1 n30_a_driver_handbook__1_2 PUNC n30_a_driver_handbook__1->n30_a_driver_handbook__1_2 n30_a_driver_handbook__1_3 NP-SBJ n30_a_driver_handbook__1->n30_a_driver_handbook__1_3 n30_a_driver_handbook__1_4 BEP;_Ln_ n30_a_driver_handbook__1->n30_a_driver_handbook__1_4 n30_a_driver_handbook__1_5 NP-PRD n30_a_driver_handbook__1->n30_a_driver_handbook__1_5 n30_a_driver_handbook__1_6 PP-SCON n30_a_driver_handbook__1->n30_a_driver_handbook__1_6 n30_a_driver_handbook__1_7 PUNC n30_a_driver_handbook__1->n30_a_driver_handbook__1_7 n30_a_driver_handbook__1_1_1 P-CONN n30_a_driver_handbook__1_1->n30_a_driver_handbook__1_1_1 n30_a_driver_handbook__1_1_2 IP-PPL3 n30_a_driver_handbook__1_1->n30_a_driver_handbook__1_1_2 n30_a_driver_handbook__1_1_1->n30_a_driver_handbook__1_1_1_1 n30_a_driver_handbook__1_1_2_1 VAG;_I_ n30_a_driver_handbook__1_1_2->n30_a_driver_handbook__1_1_2_1 n30_a_driver_handbook__1_1_2_2 PP-NIM n30_a_driver_handbook__1_1_2->n30_a_driver_handbook__1_1_2_2 n30_a_driver_handbook__1_1_2_3 PP-SCON n30_a_driver_handbook__1_1_2->n30_a_driver_handbook__1_1_2_3 n30_a_driver_handbook__1_1_2_1->n30_a_driver_handbook__1_1_2_1_1 n30_a_driver_handbook__1_1_2_2_1 P-ROLE n30_a_driver_handbook__1_1_2_2->n30_a_driver_handbook__1_1_2_2_1 n30_a_driver_handbook__1_1_2_2_2 NP n30_a_driver_handbook__1_1_2_2->n30_a_driver_handbook__1_1_2_2_2 n30_a_driver_handbook__1_1_2_2_1->n30_a_driver_handbook__1_1_2_2_1_1 n30_a_driver_handbook__1_1_2_2_2_1 NUM n30_a_driver_handbook__1_1_2_2_2->n30_a_driver_handbook__1_1_2_2_2_1 n30_a_driver_handbook__1_1_2_2_2_2 PP n30_a_driver_handbook__1_1_2_2_2->n30_a_driver_handbook__1_1_2_2_2_2 n30_a_driver_handbook__1_1_2_2_2_3 NS n30_a_driver_handbook__1_1_2_2_2->n30_a_driver_handbook__1_1_2_2_2_3 n30_a_driver_handbook__1_1_2_2_2_4 PP n30_a_driver_handbook__1_1_2_2_2->n30_a_driver_handbook__1_1_2_2_2_4 n30_a_driver_handbook__1_1_2_2_2_1->n30_a_driver_handbook__1_1_2_2_2_1_1 n30_a_driver_handbook__1_1_2_2_2_2_1 P-ROLE n30_a_driver_handbook__1_1_2_2_2_2->n30_a_driver_handbook__1_1_2_2_2_2_1 n30_a_driver_handbook__1_1_2_2_2_2_2 NP n30_a_driver_handbook__1_1_2_2_2_2->n30_a_driver_handbook__1_1_2_2_2_2_2 n30_a_driver_handbook__1_1_2_2_2_2_1->n30_a_driver_handbook__1_1_2_2_2_2_1_1 n30_a_driver_handbook__1_1_2_2_2_2_2_1 NUM n30_a_driver_handbook__1_1_2_2_2_2_2->n30_a_driver_handbook__1_1_2_2_2_2_2_1 n30_a_driver_handbook__1_1_2_2_2_2_2_1->n30_a_driver_handbook__1_1_2_2_2_2_2_1_1 n30_a_driver_handbook__1_1_2_2_2_3->n30_a_driver_handbook__1_1_2_2_2_3_1 n30_a_driver_handbook__1_1_2_2_2_4_1 P-ROLE n30_a_driver_handbook__1_1_2_2_2_4->n30_a_driver_handbook__1_1_2_2_2_4_1 n30_a_driver_handbook__1_1_2_2_2_4_2 NP n30_a_driver_handbook__1_1_2_2_2_4->n30_a_driver_handbook__1_1_2_2_2_4_2 n30_a_driver_handbook__1_1_2_2_2_4_1->n30_a_driver_handbook__1_1_2_2_2_4_1_1 n30_a_driver_handbook__1_1_2_2_2_4_2_1 D n30_a_driver_handbook__1_1_2_2_2_4_2->n30_a_driver_handbook__1_1_2_2_2_4_2_1 n30_a_driver_handbook__1_1_2_2_2_4_2_2 N n30_a_driver_handbook__1_1_2_2_2_4_2->n30_a_driver_handbook__1_1_2_2_2_4_2_2 n30_a_driver_handbook__1_1_2_2_2_4_2_1->n30_a_driver_handbook__1_1_2_2_2_4_2_1_1 n30_a_driver_handbook__1_1_2_2_2_4_2_2->n30_a_driver_handbook__1_1_2_2_2_4_2_2_1 n30_a_driver_handbook__1_1_2_3_1 P-CONN n30_a_driver_handbook__1_1_2_3->n30_a_driver_handbook__1_1_2_3_1 n30_a_driver_handbook__1_1_2_3_2 IP-ADV n30_a_driver_handbook__1_1_2_3->n30_a_driver_handbook__1_1_2_3_2 n30_a_driver_handbook__1_1_2_3_1->n30_a_driver_handbook__1_1_2_3_1_1 n30_a_driver_handbook__1_1_2_3_2_1 NP-SBJ n30_a_driver_handbook__1_1_2_3_2->n30_a_driver_handbook__1_1_2_3_2_1 n30_a_driver_handbook__1_1_2_3_2_2 BEP;_cat_Vg_ n30_a_driver_handbook__1_1_2_3_2->n30_a_driver_handbook__1_1_2_3_2_2 n30_a_driver_handbook__1_1_2_3_2_3 IP-PPL-CAT n30_a_driver_handbook__1_1_2_3_2->n30_a_driver_handbook__1_1_2_3_2_3 n30_a_driver_handbook__1_1_2_3_2_1_1 NS n30_a_driver_handbook__1_1_2_3_2_1->n30_a_driver_handbook__1_1_2_3_2_1_1 n30_a_driver_handbook__1_1_2_3_2_1_1->n30_a_driver_handbook__1_1_2_3_2_1_1_1 n30_a_driver_handbook__1_1_2_3_2_2->n30_a_driver_handbook__1_1_2_3_2_2_1 n30_a_driver_handbook__1_1_2_3_2_3_1 ILYR n30_a_driver_handbook__1_1_2_3_2_3->n30_a_driver_handbook__1_1_2_3_2_3_1 n30_a_driver_handbook__1_1_2_3_2_3_1_1 ILYR n30_a_driver_handbook__1_1_2_3_2_3_1->n30_a_driver_handbook__1_1_2_3_2_3_1_1 n30_a_driver_handbook__1_1_2_3_2_3_1_2 CONJP n30_a_driver_handbook__1_1_2_3_2_3_1->n30_a_driver_handbook__1_1_2_3_2_3_1_2 n30_a_driver_handbook__1_1_2_3_2_3_1_1_1 ADJP-PRD n30_a_driver_handbook__1_1_2_3_2_3_1_1->n30_a_driver_handbook__1_1_2_3_2_3_1_1_1 n30_a_driver_handbook__1_1_2_3_2_3_1_1_1_1 ADJ n30_a_driver_handbook__1_1_2_3_2_3_1_1_1->n30_a_driver_handbook__1_1_2_3_2_3_1_1_1_1 n30_a_driver_handbook__1_1_2_3_2_3_1_1_1_1->n30_a_driver_handbook__1_1_2_3_2_3_1_1_1_1_1 n30_a_driver_handbook__1_1_2_3_2_3_1_2_1 CONJ n30_a_driver_handbook__1_1_2_3_2_3_1_2->n30_a_driver_handbook__1_1_2_3_2_3_1_2_1 n30_a_driver_handbook__1_1_2_3_2_3_1_2_2 ILYR n30_a_driver_handbook__1_1_2_3_2_3_1_2->n30_a_driver_handbook__1_1_2_3_2_3_1_2_2 n30_a_driver_handbook__1_1_2_3_2_3_1_2_1->n30_a_driver_handbook__1_1_2_3_2_3_1_2_1_1 n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_1 VAG;_Tn_ n30_a_driver_handbook__1_1_2_3_2_3_1_2_2->n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_1 n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2 NP-OB1 n30_a_driver_handbook__1_1_2_3_2_3_1_2_2->n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2 n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_1->n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_1_1 n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2_1 D n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2->n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2_1 n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2_2 N n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2->n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2_2 n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2_1->n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2_1_1 n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2_2->n30_a_driver_handbook__1_1_2_3_2_3_1_2_2_2_2_1 n30_a_driver_handbook__1_2->n30_a_driver_handbook__1_2_1 n30_a_driver_handbook__1_3_1 D n30_a_driver_handbook__1_3->n30_a_driver_handbook__1_3_1 n30_a_driver_handbook__1_3_2 N n30_a_driver_handbook__1_3->n30_a_driver_handbook__1_3_2 n30_a_driver_handbook__1_3_3 N n30_a_driver_handbook__1_3->n30_a_driver_handbook__1_3_3 n30_a_driver_handbook__1_3_1->n30_a_driver_handbook__1_3_1_1 n30_a_driver_handbook__1_3_2->n30_a_driver_handbook__1_3_2_1 n30_a_driver_handbook__1_3_3->n30_a_driver_handbook__1_3_3_1 n30_a_driver_handbook__1_4->n30_a_driver_handbook__1_4_1 n30_a_driver_handbook__1_5_1 NUM n30_a_driver_handbook__1_5->n30_a_driver_handbook__1_5_1 n30_a_driver_handbook__1_5_2 N n30_a_driver_handbook__1_5->n30_a_driver_handbook__1_5_2 n30_a_driver_handbook__1_5_1->n30_a_driver_handbook__1_5_1_1 n30_a_driver_handbook__1_5_2->n30_a_driver_handbook__1_5_2_1 n30_a_driver_handbook__1_6_1 P-CONN n30_a_driver_handbook__1_6->n30_a_driver_handbook__1_6_1 n30_a_driver_handbook__1_6_2 IP-PPL n30_a_driver_handbook__1_6->n30_a_driver_handbook__1_6_2 n30_a_driver_handbook__1_6_1->n30_a_driver_handbook__1_6_1_1 n30_a_driver_handbook__1_6_2_1 NP-LGS n30_a_driver_handbook__1_6_2->n30_a_driver_handbook__1_6_2_1 n30_a_driver_handbook__1_6_2_2 ADVP-NIM n30_a_driver_handbook__1_6_2->n30_a_driver_handbook__1_6_2_2 n30_a_driver_handbook__1_6_2_3 VVN;_Tn_ n30_a_driver_handbook__1_6_2->n30_a_driver_handbook__1_6_2_3 n30_a_driver_handbook__1_6_2_1->n30_a_driver_handbook__1_6_2_1_1 n30_a_driver_handbook__1_6_2_2_1 ADV n30_a_driver_handbook__1_6_2_2->n30_a_driver_handbook__1_6_2_2_1 n30_a_driver_handbook__1_6_2_2_1->n30_a_driver_handbook__1_6_2_2_1_1 n30_a_driver_handbook__1_6_2_3->n30_a_driver_handbook__1_6_2_3_1 n30_a_driver_handbook__1_7->n30_a_driver_handbook__1_7_1 
( (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))