Assertion: column's value | /r/HasProperty | negative
Facets:
Source sentences:
text: If the objective value of the subproblem is negative, a variable with negative reduced cost has been identified.
text: If the quadratic form f yields only non-negative values (positive or zero), the symmetric matrix is called positive-semidefinite (or if only non-positive values, then negative-semidefinite); hence the matrix is indefinite precisely when it is neither positive-semidefinite nor negative-semidefinite.