Ascent++ | assumed to be correct

Assertion list for term "assumed to be correct".

Results from Ascent++: 2

grade → ReceivesAction → assumed to be correct	0.25
proof → ReceivesAction → assumed to be correct	0.25