Assertion list for term "refined to the point".

Results from Ascent++: 1
scheme ReceivesActionrefined to the point 0.39