Assertion list
math problem (subgroup of problem ) → ReceivesAction

Results from Ascent++: 1
math problemReceivesAction solved 0.61