Assertion list
pure oxygen (subgroup of oxygen ) → HasProperty
Results from Ascent++: 1
pure oxygen → HasProperty → toxic 0.75