Context                Previous, Next                Top


32_a_driver_handbook
Some school zones may have speed limits as low as 15 mph.

%3 r_0032_0004__may may r_0032_0005__have have r_0032_0004__may->r_0032_0005__have [scope] r_0032_0001__Some_r_0032_0002__school_r_0032_0003__zones Some school zones r_0032_0005__have->r_0032_0001__Some_r_0032_0002__school_r_0032_0003__zones [arg0] r_0032_0006__speed_r_0032_0007__limits speed limits r_0032_0005__have->r_0032_0006__speed_r_0032_0007__limits [arg1] r_0032_0009__low low r_0032_0006__speed_r_0032_0007__limits->r_0032_0009__low [attrib] r_0032_0008__as as r_0032_0009__low->r_0032_0008__as [qual] r_0032_0011__15_r_0032_0012__mph 15 mph r_0032_0009__low->r_0032_0011__15_r_0032_0012__mph as 
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, attrib19).
arc(r_0032_0009__low, r_0032_0008__as, qual20).
arc(r_0032_0009__low, r_0032_0011__15_r_0032_0012__mph, r_0032_0010__as).


%3 r_0032_0009__low low r_0032_0011__15_r_0032_0012__mph 15 mph r_0032_0009__low->r_0032_0011__15_r_0032_0012__mph as r_0032_0008__as as r_0032_0009__low->r_0032_0008__as [qual] r_0032_0006__speed_r_0032_0007__limits speed limits r_0032_0006__speed_r_0032_0007__limits->r_0032_0009__low [attrib] r_0032_0004__may_r_0032_0005__have may have r_0032_0004__may_r_0032_0005__have->r_0032_0006__speed_r_0032_0007__limits [arg1] r_0032_0001__Some_r_0032_0002__school_r_0032_0003__zones Some school zones r_0032_0004__may_r_0032_0005__have->r_0032_0001__Some_r_0032_0002__school_r_0032_0003__zones [arg0] 
fof(formula,axiom,
    ? [R_32_4_MAY_HAVE,R_32_1_SOME_SCHOOL_ZONES,R_32_6_SPEED_LIMITS,R_32_9_LOW,R_32_8_AS,R_32_11_15_MPH] :
      ( some_school_zones(R_32_1_SOME_SCHOOL_ZONES)
      & as(R_32_8_AS)
      & 15_mph(R_32_11_15_MPH)
      & may_have(R_32_4_MAY_HAVE,R_32_1_SOME_SCHOOL_ZONES,R_32_6_SPEED_LIMITS)
      & speed_limits(R_32_6_SPEED_LIMITS)
      & attrib19(R_32_6_SPEED_LIMITS,R_32_9_LOW)
      & low(R_32_9_LOW)
      & qual20(R_32_9_LOW,R_32_8_AS)
      & as(R_32_9_LOW,R_32_11_15_MPH) ) ).


n32_a_driver_handbook n32_a_driver_handbook__1_1_1_1 Some n32_a_driver_handbook__1_1_2_1 school n32_a_driver_handbook__1_1_3_1 zones n32_a_driver_handbook__1_2_1 may n32_a_driver_handbook__1_3_1_1 have n32_a_driver_handbook__1_3_2_1_1 speed n32_a_driver_handbook__1_3_2_2_1 limits n32_a_driver_handbook__1_3_2_3_1_1_1 as n32_a_driver_handbook__1_3_2_3_2_1 low n32_a_driver_handbook__1_3_2_3_3_1_1 as n32_a_driver_handbook__1_3_2_3_3_2_1_1 15 n32_a_driver_handbook__1_3_2_3_3_2_2_1 mph n32_a_driver_handbook__1_4_1 . n32_a_driver_handbook__1 IP-MAT n32_a_driver_handbook__1_1 NP-SBJ n32_a_driver_handbook__1->n32_a_driver_handbook__1_1 n32_a_driver_handbook__1_2 MD;_cat_Vi_ n32_a_driver_handbook__1->n32_a_driver_handbook__1_2 n32_a_driver_handbook__1_3 IP-INF-CAT n32_a_driver_handbook__1->n32_a_driver_handbook__1_3 n32_a_driver_handbook__1_4 PUNC n32_a_driver_handbook__1->n32_a_driver_handbook__1_4 n32_a_driver_handbook__1_1_1 D n32_a_driver_handbook__1_1->n32_a_driver_handbook__1_1_1 n32_a_driver_handbook__1_1_2 N n32_a_driver_handbook__1_1->n32_a_driver_handbook__1_1_2 n32_a_driver_handbook__1_1_3 NS n32_a_driver_handbook__1_1->n32_a_driver_handbook__1_1_3 n32_a_driver_handbook__1_1_1->n32_a_driver_handbook__1_1_1_1 n32_a_driver_handbook__1_1_2->n32_a_driver_handbook__1_1_2_1 n32_a_driver_handbook__1_1_3->n32_a_driver_handbook__1_1_3_1 n32_a_driver_handbook__1_2->n32_a_driver_handbook__1_2_1 n32_a_driver_handbook__1_3_1 HV;_Tn_ n32_a_driver_handbook__1_3->n32_a_driver_handbook__1_3_1 n32_a_driver_handbook__1_3_2 NP-OB1 n32_a_driver_handbook__1_3->n32_a_driver_handbook__1_3_2 n32_a_driver_handbook__1_3_1->n32_a_driver_handbook__1_3_1_1 n32_a_driver_handbook__1_3_2_1 N n32_a_driver_handbook__1_3_2->n32_a_driver_handbook__1_3_2_1 n32_a_driver_handbook__1_3_2_2 NS n32_a_driver_handbook__1_3_2->n32_a_driver_handbook__1_3_2_2 n32_a_driver_handbook__1_3_2_3 ADJP n32_a_driver_handbook__1_3_2->n32_a_driver_handbook__1_3_2_3 n32_a_driver_handbook__1_3_2_1->n32_a_driver_handbook__1_3_2_1_1 n32_a_driver_handbook__1_3_2_2->n32_a_driver_handbook__1_3_2_2_1 n32_a_driver_handbook__1_3_2_3_1 ADVP n32_a_driver_handbook__1_3_2_3->n32_a_driver_handbook__1_3_2_3_1 n32_a_driver_handbook__1_3_2_3_2 ADJ n32_a_driver_handbook__1_3_2_3->n32_a_driver_handbook__1_3_2_3_2 n32_a_driver_handbook__1_3_2_3_3 PP n32_a_driver_handbook__1_3_2_3->n32_a_driver_handbook__1_3_2_3_3 n32_a_driver_handbook__1_3_2_3_1_1 ADV n32_a_driver_handbook__1_3_2_3_1->n32_a_driver_handbook__1_3_2_3_1_1 n32_a_driver_handbook__1_3_2_3_1_1->n32_a_driver_handbook__1_3_2_3_1_1_1 n32_a_driver_handbook__1_3_2_3_2->n32_a_driver_handbook__1_3_2_3_2_1 n32_a_driver_handbook__1_3_2_3_3_1 P-ROLE n32_a_driver_handbook__1_3_2_3_3->n32_a_driver_handbook__1_3_2_3_3_1 n32_a_driver_handbook__1_3_2_3_3_2 NP n32_a_driver_handbook__1_3_2_3_3->n32_a_driver_handbook__1_3_2_3_3_2 n32_a_driver_handbook__1_3_2_3_3_1->n32_a_driver_handbook__1_3_2_3_3_1_1 n32_a_driver_handbook__1_3_2_3_3_2_1 NUM n32_a_driver_handbook__1_3_2_3_3_2->n32_a_driver_handbook__1_3_2_3_3_2_1 n32_a_driver_handbook__1_3_2_3_3_2_2 N n32_a_driver_handbook__1_3_2_3_3_2->n32_a_driver_handbook__1_3_2_3_3_2_2 n32_a_driver_handbook__1_3_2_3_3_2_1->n32_a_driver_handbook__1_3_2_3_3_2_1_1 n32_a_driver_handbook__1_3_2_3_3_2_2->n32_a_driver_handbook__1_3_2_3_3_2_2_1 n32_a_driver_handbook__1_4->n32_a_driver_handbook__1_4_1 
( (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))