Assertion list for term "end in ice".

Results from Ascent++: 1
universe CapableOfend in ice 0.35