Assertion list for term "indexed by the range cols".
Results from Ascent++: 1
column (aspect of matrix) → ReceivesAction → indexed by the range cols 0.41