18_a_driver_handbook
High speed increases your stopping distance.
( (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))
arc(r_0018_0002__speed,r_0018_0001__High,attrib).
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).
fof(formula,axiom,
? [R_0018_0001__HIGH,R_0018_0002__SPEED,R_0018_0004__YOUR,R_0018_0005__STOPPING_R_0018_0006__DISTANCE,R_0018_0003__INCREASES] :
( r_0018_0001__High(R_0018_0001__HIGH)
& r_0018_0004__your(R_0018_0004__YOUR)
& r_0018_0003__increases(R_0018_0003__INCREASES)
& has_arg1(R_0018_0003__INCREASES,R_0018_0005__STOPPING_R_0018_0006__DISTANCE)
& r_0018_0005__stopping_r_0018_0006__distance(R_0018_0005__STOPPING_R_0018_0006__DISTANCE)
& has_gen(R_0018_0005__STOPPING_R_0018_0006__DISTANCE,R_0018_0004__YOUR)
& has_arg0(R_0018_0003__INCREASES,R_0018_0002__SPEED)
& r_0018_0002__speed(R_0018_0002__SPEED)
& has_attrib(R_0018_0002__SPEED,R_0018_0001__HIGH) ) ).