Decrease Following Distance Definition Simple Predicate Definition