Assertion list for term "prove to be positive".

Results from Ascent++: 1
news CapableOfprove to be positive 0.39