Assertion list for term "occur by count-out".

Results from Ascent++: 1
elimination CapableOfoccur by count-out 0.28