Context                Previous, Next                Top


18_a_driver_handbook
High speed increases your stopping distance.

%3 r_0018_0002__speed speed r_0018_0001__High High r_0018_0002__speed->r_0018_0001__High [attrib] r_0018_0003__increases increases r_0018_0003__increases->r_0018_0002__speed [arg0] r_0018_0005__stopping_r_0018_0006__distance stopping distance r_0018_0003__increases->r_0018_0005__stopping_r_0018_0006__distance [arg1] r_0018_0004__your your r_0018_0005__stopping_r_0018_0006__distance->r_0018_0004__your [gen] 
arc(r_0018_0002__speed, r_0018_0001__High, attrib3).
arc(r_0018_0003__increases, r_0018_0002__speed, arg0).
arc(r_0018_0003__increases, r_0018_0005__stopping_r_0018_0006__distance, arg1).
arc(r_0018_0005__stopping_r_0018_0006__distance, r_0018_0004__your, gen).


%3 r_0018_0002__speed speed r_0018_0001__High High r_0018_0002__speed->r_0018_0001__High [attrib] r_0018_0003__increases increases r_0018_0003__increases->r_0018_0002__speed [arg0] r_0018_0005__stopping_r_0018_0006__distance stopping distance r_0018_0003__increases->r_0018_0005__stopping_r_0018_0006__distance [arg1] r_0018_0004__your your r_0018_0005__stopping_r_0018_0006__distance->r_0018_0004__your [gen] 
fof(formula,axiom,
    ? [R_18_3_INCREASES,R_18_2_SPEED,R_18_1_HIGH,R_18_5_STOPPING_DISTANCE,R_18_4_YOUR] :
      ( high(R_18_1_HIGH)
      & your(R_18_4_YOUR)
      & increases(R_18_3_INCREASES,R_18_2_SPEED,R_18_5_STOPPING_DISTANCE)
      & speed(R_18_2_SPEED)
      & attrib3(R_18_2_SPEED,R_18_1_HIGH)
      & stopping_distance(R_18_5_STOPPING_DISTANCE)
      & gen(R_18_5_STOPPING_DISTANCE,R_18_4_YOUR) ) ).


n18_a_driver_handbook n18_a_driver_handbook_5 High n18_a_driver_handbook_7 speed n18_a_driver_handbook_9 increases n18_a_driver_handbook_13 your n18_a_driver_handbook_15 stopping n18_a_driver_handbook_17 distance n18_a_driver_handbook_19 . n18_a_driver_handbook_1 IP-MAT n18_a_driver_handbook_2 NP-SBJ n18_a_driver_handbook_1->n18_a_driver_handbook_2 n18_a_driver_handbook_8 VBP;_Tn_ n18_a_driver_handbook_1->n18_a_driver_handbook_8 n18_a_driver_handbook_10 NP-OB1 n18_a_driver_handbook_1->n18_a_driver_handbook_10 n18_a_driver_handbook_18 PUNC n18_a_driver_handbook_1->n18_a_driver_handbook_18 n18_a_driver_handbook_3 ADJP n18_a_driver_handbook_2->n18_a_driver_handbook_3 n18_a_driver_handbook_6 N n18_a_driver_handbook_2->n18_a_driver_handbook_6 n18_a_driver_handbook_4 ADJ n18_a_driver_handbook_3->n18_a_driver_handbook_4 n18_a_driver_handbook_4->n18_a_driver_handbook_5 n18_a_driver_handbook_6->n18_a_driver_handbook_7 n18_a_driver_handbook_8->n18_a_driver_handbook_9 n18_a_driver_handbook_11 NP-GEN n18_a_driver_handbook_10->n18_a_driver_handbook_11 n18_a_driver_handbook_14 N n18_a_driver_handbook_10->n18_a_driver_handbook_14 n18_a_driver_handbook_16 N n18_a_driver_handbook_10->n18_a_driver_handbook_16 n18_a_driver_handbook_12 PRO;_genm_ n18_a_driver_handbook_11->n18_a_driver_handbook_12 n18_a_driver_handbook_12->n18_a_driver_handbook_13 n18_a_driver_handbook_14->n18_a_driver_handbook_15 n18_a_driver_handbook_16->n18_a_driver_handbook_17 n18_a_driver_handbook_18->n18_a_driver_handbook_19 
( (IP-MAT (NP-SBJ (ADJP (ADJ High;{high}))
                  (N speed;{speed}))
          (VBP;_Tn_ increases;{increase})
          (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                  (N stopping;{stopping})
                  (N distance;{distance}))
          (PUNC .))
  (ID 18_a_driver_handbook))