Context                Previous, Next                Top


16_a_driver_handbook
Construction zones usually have reduced speed zones.

%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] 
arc(r_0016_0004__have, r_0016_0001__Construction_r_0016_0002__zones, arg0).
arc(r_0016_0004__have, r_0016_0003__usually, nim7).
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, attrib13).


%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_16_4_HAVE,R_16_1_CONSTRUCTION_ZONES,R_16_6_SPEED_ZONES,R_16_5_REDUCED,R_16_3_USUALLY] :
      ( construction_zones(R_16_1_CONSTRUCTION_ZONES)
      & reduced(R_16_5_REDUCED)
      & usually(R_16_3_USUALLY)
      & have(R_16_4_HAVE,R_16_1_CONSTRUCTION_ZONES,R_16_6_SPEED_ZONES)
      & speed_zones(R_16_6_SPEED_ZONES)
      & attrib13(R_16_6_SPEED_ZONES,R_16_5_REDUCED)
      & nim7(R_16_4_HAVE,R_16_3_USUALLY) ) ).


n16_a_driver_handbook n16_a_driver_handbook_4 Construction n16_a_driver_handbook_6 zones n16_a_driver_handbook_9 usually n16_a_driver_handbook_11 have n16_a_driver_handbook_15 reduced n16_a_driver_handbook_17 speed n16_a_driver_handbook_19 zones n16_a_driver_handbook_21 . n16_a_driver_handbook_1 IP-MAT n16_a_driver_handbook_2 NP-SBJ n16_a_driver_handbook_1->n16_a_driver_handbook_2 n16_a_driver_handbook_7 ADVP-NIM n16_a_driver_handbook_1->n16_a_driver_handbook_7 n16_a_driver_handbook_10 HVP;_Tn_ n16_a_driver_handbook_1->n16_a_driver_handbook_10 n16_a_driver_handbook_12 NP-OB1 n16_a_driver_handbook_1->n16_a_driver_handbook_12 n16_a_driver_handbook_20 PUNC n16_a_driver_handbook_1->n16_a_driver_handbook_20 n16_a_driver_handbook_3 N n16_a_driver_handbook_2->n16_a_driver_handbook_3 n16_a_driver_handbook_5 NS n16_a_driver_handbook_2->n16_a_driver_handbook_5 n16_a_driver_handbook_3->n16_a_driver_handbook_4 n16_a_driver_handbook_5->n16_a_driver_handbook_6 n16_a_driver_handbook_8 ADV n16_a_driver_handbook_7->n16_a_driver_handbook_8 n16_a_driver_handbook_8->n16_a_driver_handbook_9 n16_a_driver_handbook_10->n16_a_driver_handbook_11 n16_a_driver_handbook_13 ADJP n16_a_driver_handbook_12->n16_a_driver_handbook_13 n16_a_driver_handbook_16 N n16_a_driver_handbook_12->n16_a_driver_handbook_16 n16_a_driver_handbook_18 NS n16_a_driver_handbook_12->n16_a_driver_handbook_18 n16_a_driver_handbook_14 ADJ n16_a_driver_handbook_13->n16_a_driver_handbook_14 n16_a_driver_handbook_14->n16_a_driver_handbook_15 n16_a_driver_handbook_16->n16_a_driver_handbook_17 n16_a_driver_handbook_18->n16_a_driver_handbook_19 n16_a_driver_handbook_20->n16_a_driver_handbook_21 
( (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))