Assertion list for term "construct proof".

Results from Ascent++: 1
mathematician CapableOfconstruct proof 0.25