32_a_driver_handbook
Some school zones may have speed limits as low as 15 mph.
( (IP-MAT (NP-SBJ (D Some;{some})
(N school;{school})
(NS zones;{zone}))
(MD;_cat_Vi_ may;{may})
(IP-INF-CAT (HV;_Tn_ have;{have})
(NP-OB1 (N speed;{speed})
(NS limits;{limit})
(ADJP (ADVP (ADV as;{as}))
(ADJ low;{low})
(PP (P-ROLE as;{as})
(NP (NUM 15)
(N mph;{mph}))))))
(PUNC .))
(ID 32_a_driver_handbook))
arc(r_0032_0004__may,r_0032_0005__have,scope).
arc(r_0032_0005__have,r_0032_0001__Some_r_0032_0002__school_r_0032_0003__zones,arg0).
arc(r_0032_0005__have,r_0032_0006__speed_r_0032_0007__limits,arg1).
arc(r_0032_0006__speed_r_0032_0007__limits,r_0032_0009__low,attrib).
arc(r_0032_0009__low,r_0032_0008__as,qual).
arc(r_0032_0009__low,r_0032_0011__15_r_0032_0012__mph,r_0032_0010__as).
fof(formula,axiom,
? [R_0032_0001__SOME_R_0032_0002__SCHOOL_R_0032_0003__ZONES,R_0032_0008__AS,R_0032_0011__15_R_0032_0012__MPH,R_0032_0009__LOW,R_0032_0006__SPEED_R_0032_0007__LIMITS,R_0032_0004__MAY_R_0032_0005__HAVE] :
( r_0032_0001__Some_r_0032_0002__school_r_0032_0003__zones(R_0032_0001__SOME_R_0032_0002__SCHOOL_R_0032_0003__ZONES)
& r_0032_0008__as(R_0032_0008__AS)
& r_0032_0011__15_r_0032_0012__mph(R_0032_0011__15_R_0032_0012__MPH)
& r_0032_0004__may_r_0032_0005__have(R_0032_0004__MAY_R_0032_0005__HAVE)
& has_arg1(R_0032_0004__MAY_R_0032_0005__HAVE,R_0032_0006__SPEED_R_0032_0007__LIMITS)
& r_0032_0006__speed_r_0032_0007__limits(R_0032_0006__SPEED_R_0032_0007__LIMITS)
& has_attrib(R_0032_0006__SPEED_R_0032_0007__LIMITS,R_0032_0009__LOW)
& r_0032_0009__low(R_0032_0009__LOW)
& has_r_0032_0010__as(R_0032_0009__LOW,R_0032_0011__15_R_0032_0012__MPH)
& has_qual(R_0032_0009__LOW,R_0032_0008__AS)
& has_arg0(R_0032_0004__MAY_R_0032_0005__HAVE,R_0032_0001__SOME_R_0032_0002__SCHOOL_R_0032_0003__ZONES) ) ).