Assertion list for term "prove correct".
Results from Ascent++: 2
exit poll (subgroup of poll) → CapableOf → prove correct 0.38
intuition → CapableOf → prove correct 0.29