Assertion list for term "reduced with valid proof of correction".
Results from Ascent++: 1
fine → ReceivesAction → reduced with valid proof of correction 0.29