Assertion list for term "established by proof".
Results from Ascent++: 2
fact → ReceivesAction → established by proof 0.38
accuracy → ReceivesAction → established by proof 0.25