The property that determines the predicate of a negative property assertion.