Assertion list for term "cross ice".

Results from Ascent++: 1
small CapableOfcross ice 0.25