Assertion list for term "prove both".

Results from Ascent++: 1
prosecutor CapableOfprove both 0.28