Assertion list
oxygen concentration (subgroup of concentration ) → IsA
Results from Ascent++: 1
oxygen concentration → IsA → zero 0.25