Assertion list for term "reduced by the number of shares".
Results from Ascent++: 1
number (aspect of certificate) → ReceivesAction → reduced by the number of shares 0.39