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_0005__stopping_r_0018_0006__distance stopping distance r_0018_0004__your your r_0018_0005__stopping_r_0018_0006__distance->r_0018_0004__your [gen] r_0018_0003__increases increases r_0018_0003__increases->r_0018_0005__stopping_r_0018_0006__distance [arg1] r_0018_0002__speed speed r_0018_0003__increases->r_0018_0002__speed [arg0] r_0018_0001__High High r_0018_0002__speed->r_0018_0001__High [attrib] 
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__1_1_1_1_1 High n18_a_driver_handbook__1_1_2_1 speed n18_a_driver_handbook__1_2_1 increases n18_a_driver_handbook__1_3_1_1_1 your n18_a_driver_handbook__1_3_2_1 stopping n18_a_driver_handbook__1_3_3_1 distance n18_a_driver_handbook__1_4_1 . n18_a_driver_handbook__1 IP-MAT n18_a_driver_handbook__1_1 NP-SBJ n18_a_driver_handbook__1->n18_a_driver_handbook__1_1 n18_a_driver_handbook__1_2 VBP;_Tn_ n18_a_driver_handbook__1->n18_a_driver_handbook__1_2 n18_a_driver_handbook__1_3 NP-OB1 n18_a_driver_handbook__1->n18_a_driver_handbook__1_3 n18_a_driver_handbook__1_4 PUNC n18_a_driver_handbook__1->n18_a_driver_handbook__1_4 n18_a_driver_handbook__1_1_1 ADJP n18_a_driver_handbook__1_1->n18_a_driver_handbook__1_1_1 n18_a_driver_handbook__1_1_2 N n18_a_driver_handbook__1_1->n18_a_driver_handbook__1_1_2 n18_a_driver_handbook__1_1_1_1 ADJ n18_a_driver_handbook__1_1_1->n18_a_driver_handbook__1_1_1_1 n18_a_driver_handbook__1_1_1_1->n18_a_driver_handbook__1_1_1_1_1 n18_a_driver_handbook__1_1_2->n18_a_driver_handbook__1_1_2_1 n18_a_driver_handbook__1_2->n18_a_driver_handbook__1_2_1 n18_a_driver_handbook__1_3_1 NP-GEN n18_a_driver_handbook__1_3->n18_a_driver_handbook__1_3_1 n18_a_driver_handbook__1_3_2 N n18_a_driver_handbook__1_3->n18_a_driver_handbook__1_3_2 n18_a_driver_handbook__1_3_3 N n18_a_driver_handbook__1_3->n18_a_driver_handbook__1_3_3 n18_a_driver_handbook__1_3_1_1 PRO;_genm_ n18_a_driver_handbook__1_3_1->n18_a_driver_handbook__1_3_1_1 n18_a_driver_handbook__1_3_1_1->n18_a_driver_handbook__1_3_1_1_1 n18_a_driver_handbook__1_3_2->n18_a_driver_handbook__1_3_2_1 n18_a_driver_handbook__1_3_3->n18_a_driver_handbook__1_3_3_1 n18_a_driver_handbook__1_4->n18_a_driver_handbook__1_4_1 
( (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))