Assertion list for term "implied by average size of projection errors".
Results from Ascent++: 1
range → ReceivesAction → implied by average size of projection errors 0.30