Assertion list for term "leading 1".
Results from Ascent++: 1
column (aspect of matrix) → HasA → leading 1 0.25