Assertion list for term "reduced for any reason".
Results from Ascent++: 1
number (aspect of certificate) → ReceivesAction → reduced for any reason 0.32