Assertion list
row (aspect of matrix ) → HasA
Results from Ascent++: 1
row → HasA → a size m 0.25