Assertion list for term "multiplied with vector d".
Results from Ascent++: 1
row (aspect of matrix) → ReceivesAction → multiplied with vector d 0.48