Predicate types: greater, lower, strictly greater, strictly lower