Assertion list for term "produce some proof".

Results from Ascent++: 1
locksmith CapableOfproduce some proof 0.29