Assertion list for term "complete evaluation".

Results from Ascent++: 1
invite CapableOfcomplete evaluation 0.25