Assertion list
frost (primary) → IsA
Results from Ascent++: 2
frost → IsA → ice 0.47
frost → IsA → thin layer of ice 0.25