(
  (0<= rPos & rPos <= 100 & -200 <= rVel & rVel <= 200 & -A-0.005 <= rAccpost & rAccpost <= A+0.005)
)
->
(-A-0.001 >= rAccpost | rAccpost >= A+0.001)