Assertion list
liquid oxygen (subgroup of oxygen ) → HasProperty

Results from Ascent++: 1
liquid oxygenHasProperty cold 0.59