Assertion list
column (aspect of matrix ) → HasA
Results from Ascent++: 2
column → HasA → leading 1 0.25
column → HasA → two numbers 0.16