Context                Previous, Next                Top


16_a_driver_handbook
Construction zones usually have reduced speed zones.

n16_a_driver_handbook n16_a_driver_handbook__1_1_1_1 Construction n16_a_driver_handbook__1_1_2_1 zones n16_a_driver_handbook__1_2_1_1 usually n16_a_driver_handbook__1_3_1 have n16_a_driver_handbook__1_4_1_1_1 reduced n16_a_driver_handbook__1_4_2_1 speed n16_a_driver_handbook__1_4_3_1 zones n16_a_driver_handbook__1_5_1 . n16_a_driver_handbook__1 IP-MAT n16_a_driver_handbook__1_1 NP-SBJ n16_a_driver_handbook__1->n16_a_driver_handbook__1_1 n16_a_driver_handbook__1_2 ADVP-NIM n16_a_driver_handbook__1->n16_a_driver_handbook__1_2 n16_a_driver_handbook__1_3 HVP;_Tn_ n16_a_driver_handbook__1->n16_a_driver_handbook__1_3 n16_a_driver_handbook__1_4 NP-OB1 n16_a_driver_handbook__1->n16_a_driver_handbook__1_4 n16_a_driver_handbook__1_5 PUNC n16_a_driver_handbook__1->n16_a_driver_handbook__1_5 n16_a_driver_handbook__1_1_1 N n16_a_driver_handbook__1_1->n16_a_driver_handbook__1_1_1 n16_a_driver_handbook__1_1_2 NS n16_a_driver_handbook__1_1->n16_a_driver_handbook__1_1_2 n16_a_driver_handbook__1_1_1->n16_a_driver_handbook__1_1_1_1 n16_a_driver_handbook__1_1_2->n16_a_driver_handbook__1_1_2_1 n16_a_driver_handbook__1_2_1 ADV n16_a_driver_handbook__1_2->n16_a_driver_handbook__1_2_1 n16_a_driver_handbook__1_2_1->n16_a_driver_handbook__1_2_1_1 n16_a_driver_handbook__1_3->n16_a_driver_handbook__1_3_1 n16_a_driver_handbook__1_4_1 ADJP n16_a_driver_handbook__1_4->n16_a_driver_handbook__1_4_1 n16_a_driver_handbook__1_4_2 N n16_a_driver_handbook__1_4->n16_a_driver_handbook__1_4_2 n16_a_driver_handbook__1_4_3 NS n16_a_driver_handbook__1_4->n16_a_driver_handbook__1_4_3 n16_a_driver_handbook__1_4_1_1 ADJ n16_a_driver_handbook__1_4_1->n16_a_driver_handbook__1_4_1_1 n16_a_driver_handbook__1_4_1_1->n16_a_driver_handbook__1_4_1_1_1 n16_a_driver_handbook__1_4_2->n16_a_driver_handbook__1_4_2_1 n16_a_driver_handbook__1_4_3->n16_a_driver_handbook__1_4_3_1 n16_a_driver_handbook__1_5->n16_a_driver_handbook__1_5_1 
( (IP-MAT (NP-SBJ (N Construction;{construction})
                  (NS zones;{zone}))
          (ADVP-NIM (ADV usually;{usually}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (ADJP (ADJ reduced;{reduced}))
                  (N speed;{speed})
                  (NS zones;{zone}))
          (PUNC .))
  (ID 16_a_driver_handbook))


%3 r_0016_0006__speed_r_0016_0007__zones speed zones r_0016_0005__reduced reduced r_0016_0006__speed_r_0016_0007__zones->r_0016_0005__reduced [attrib] r_0016_0004__have have r_0016_0004__have->r_0016_0006__speed_r_0016_0007__zones [arg1] r_0016_0003__usually usually r_0016_0004__have->r_0016_0003__usually [nim] r_0016_0001__Construction_r_0016_0002__zones Construction zones r_0016_0004__have->r_0016_0001__Construction_r_0016_0002__zones [arg0] 
arc(r_0016_0004__have,r_0016_0001__Construction_r_0016_0002__zones,arg0).
arc(r_0016_0004__have,r_0016_0003__usually,nim).
arc(r_0016_0004__have,r_0016_0006__speed_r_0016_0007__zones,arg1).
arc(r_0016_0006__speed_r_0016_0007__zones,r_0016_0005__reduced,attrib).


%3 r_0016_0004__have have r_0016_0001__Construction_r_0016_0002__zones Construction zones r_0016_0004__have->r_0016_0001__Construction_r_0016_0002__zones [arg0] r_0016_0003__usually usually r_0016_0004__have->r_0016_0003__usually [nim] r_0016_0006__speed_r_0016_0007__zones speed zones r_0016_0004__have->r_0016_0006__speed_r_0016_0007__zones [arg1] r_0016_0005__reduced reduced r_0016_0006__speed_r_0016_0007__zones->r_0016_0005__reduced [attrib] 
fof(formula,axiom,
    ? [R_0016_0001__CONSTRUCTION_R_0016_0002__ZONES,R_0016_0003__USUALLY,R_0016_0005__REDUCED,R_0016_0006__SPEED_R_0016_0007__ZONES,R_0016_0004__HAVE] :
      ( r_0016_0001__Construction_r_0016_0002__zones(R_0016_0001__CONSTRUCTION_R_0016_0002__ZONES)
      & r_0016_0003__usually(R_0016_0003__USUALLY)
      & r_0016_0005__reduced(R_0016_0005__REDUCED)
      & r_0016_0004__have(R_0016_0004__HAVE)
      & has_arg1(R_0016_0004__HAVE,R_0016_0006__SPEED_R_0016_0007__ZONES)
      & r_0016_0006__speed_r_0016_0007__zones(R_0016_0006__SPEED_R_0016_0007__ZONES)
      & has_attrib(R_0016_0006__SPEED_R_0016_0007__ZONES,R_0016_0005__REDUCED)
      & has_nim(R_0016_0004__HAVE,R_0016_0003__USUALLY)
      & has_arg0(R_0016_0004__HAVE,R_0016_0001__CONSTRUCTION_R_0016_0002__ZONES) ) ).