30_a_driver_handbook
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))
%3
z_0030_5008
r_0030_0014__outside
outside
z_0030_5008->r_0030_0014__outside
[prd]
r_0030_0012__children
children
z_0030_5008->r_0030_0012__children
[arg0]
r_0030_0028__posted
posted
z_0030_5021___star_
*
r_0030_0028__posted->z_0030_5021___star_
[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
[restriction]
r_0030_0023__is
is
r_0030_0026__unless->r_0030_0023__is
[scope]
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
crossing
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_0015__or
or
r_0030_0015__or->z_0030_5008
[conj1]
r_0030_0015__or->r_0030_0016__crossing
[conj2]
r_0030_0013__are
are
r_0030_0013__are->r_0030_0015__or
[scope]
r_0030_0011__while
while
r_0030_0011__while->r_0030_0013__are
[restriction]
r_0030_0002__driving
driving
r_0030_0011__while->r_0030_0002__driving
[scope]
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_0030_5003
r_0030_0002__driving->z_0030_5003
[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_comma_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]
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__nim).
arc(r_0030_0002__driving,z_0030_5003,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_0030_5008,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,nim).
arc(r_0030_0028__posted,z_0030_5021___star_,arg0).
arc(z_0030_5008,r_0030_0012__children,arg0).
arc(z_0030_5008,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_0030_5003
r_0030_0002__driving->z_0030_5003
[arg0]
r_0030_0006__1_comma_000
1_comma_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_0030_5008
r_0030_0015__or->z_0030_5008
[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_0030_5008->r_0030_0012__children
[arg0]
r_0030_0014__outside
outside
z_0030_5008->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_0030_5021___star_
*
r_0030_0028__posted->z_0030_5021___star_
[arg0]
fof(formula,axiom,
! [R_0030_0011__WHILE,R_0030_0006__1_COMMA_000,R_0030_0009__A_R_0030_0010__SCHOOL,R_0030_0004__500_R_0030_0007__FEET,Z_0030_5003,R_0030_0002__DRIVING,R_0030_0012__CHILDREN,R_0030_0017__THE_R_0030_0018__STREET,R_0030_0016__CROSSING,R_0030_0014__OUTSIDE,Z_0030_5008,R_0030_0015__OR,R_0030_0013__ARE] :
( ( r_0030_0006__1_comma_000(R_0030_0006__1_COMMA_000)
& r_0030_0009__a_r_0030_0010__school(R_0030_0009__A_R_0030_0010__SCHOOL)
& r_0030_0012__children(R_0030_0012__CHILDREN)
& r_0030_0014__outside(R_0030_0014__OUTSIDE)
& r_0030_0017__the_r_0030_0018__street(R_0030_0017__THE_R_0030_0018__STREET)
& z_0030_5003(Z_0030_5003)
& r_0030_0011__while(R_0030_0011__WHILE)
& has_conj1(R_0030_0011__WHILE,R_0030_0013__ARE)
& r_0030_0013__are(R_0030_0013__ARE)
& has_keep_scope(R_0030_0013__ARE,R_0030_0015__OR)
& r_0030_0015__or(R_0030_0015__OR)
& has_conj1(R_0030_0015__OR,Z_0030_5008)
& z_0030_5008(Z_0030_5008)
& has_prd(Z_0030_5008,R_0030_0014__OUTSIDE)
& has_arg0(Z_0030_5008,R_0030_0012__CHILDREN)
& has_conj2(R_0030_0015__OR,R_0030_0016__CROSSING)
& r_0030_0016__crossing(R_0030_0016__CROSSING)
& has_arg1(R_0030_0016__CROSSING,R_0030_0017__THE_R_0030_0018__STREET)
& has_arg0(R_0030_0016__CROSSING,R_0030_0012__CHILDREN)
& has_conj2(R_0030_0011__WHILE,R_0030_0002__DRIVING)
& r_0030_0002__driving(R_0030_0002__DRIVING)
& has_arg0(R_0030_0002__DRIVING,Z_0030_5003)
& has_r_0030_0003__within__nim(R_0030_0002__DRIVING,R_0030_0004__500_R_0030_0007__FEET)
& r_0030_0004__500_r_0030_0007__feet(R_0030_0004__500_R_0030_0007__FEET)
& has_r_0030_0008__of(R_0030_0004__500_R_0030_0007__FEET,R_0030_0009__A_R_0030_0010__SCHOOL)
& has_r_0030_0005__to(R_0030_0004__500_R_0030_0007__FEET,R_0030_0006__1_COMMA_000) )
=> ? [R_0030_0020__THE_R_0030_0021__SPEED_R_0030_0022__LIMIT,R_0030_0024__25_R_0030_0025__MPH,R_0030_0023__IS,R_0030_0027__OTHERWISE,Z_0030_5021___STAR_,R_0030_0028__POSTED,R_0030_0026__UNLESS] :
( r_0030_0020__the_r_0030_0021__speed_r_0030_0022__limit(R_0030_0020__THE_R_0030_0021__SPEED_R_0030_0022__LIMIT)
& r_0030_0024__25_r_0030_0025__mph(R_0030_0024__25_R_0030_0025__MPH)
& r_0030_0027__otherwise(R_0030_0027__OTHERWISE)
& z_0030_5021___star_(Z_0030_5021___STAR_)
& r_0030_0026__unless(R_0030_0026__UNLESS)
& has_conj1(R_0030_0026__UNLESS,R_0030_0028__POSTED)
& r_0030_0028__posted(R_0030_0028__POSTED)
& has_arg0(R_0030_0028__POSTED,Z_0030_5021___STAR_)
& has_nim(R_0030_0028__POSTED,R_0030_0027__OTHERWISE)
& has_arg1(R_0030_0028__POSTED,R_0030_0020__THE_R_0030_0021__SPEED_R_0030_0022__LIMIT)
& has_conj2(R_0030_0026__UNLESS,R_0030_0023__IS)
& r_0030_0023__is(R_0030_0023__IS)
& has_prd(R_0030_0023__IS,R_0030_0024__25_R_0030_0025__MPH)
& has_arg0(R_0030_0023__IS,R_0030_0020__THE_R_0030_0021__SPEED_R_0030_0022__LIMIT) ) ) ).