Assertion list for term "proof of an element".

Results from Ascent++: 1
count HasPrerequisiteproof of an element 0.25