Decrease Following Distance Definition Simple Predicate