Assertion list
liquid helium (subgroup of helium ) → HasProperty
Results from Ascent++: 1
liquid helium → HasProperty → cold 0.25