Assertion list for term "proven correct".
Results from Ascent++: 3
hypothesis → ReceivesAction → proven correct 0.60
bible → ReceivesAction → proven correct 0.52
algorithm → ReceivesAction → proven correct 0.26