Assertion list
pure oxygen (subgroup of oxygen ) → HasA

Results from Ascent++: 1
pure oxygenHasA up to 80% oxygen 0.25