How does this get the upper bound predicate and not the NOT NULL predicate?