Assertion list
water ice (primary) → HasProperty
Results from Ascent++: 2
water ice → HasProperty → stable 0.68
water ice → HasProperty → abundant 0.55