Assertion list for term "display proof".

Results from Ascent++: 1
architect CapableOfdisplay proof 0.35