Assertion list
value (aspect of determinant ) → HasProperty
Results from Ascent++: 2
value → HasProperty → zero 0.68
value → HasProperty → negative 0.25