Assertion list
row (aspect of determinant ) → HasProperty
Results from Ascent++: 2
row → HasProperty → equal 0.38
row → HasProperty → independent 0.25