Assertion list
atmosphere (aspect of mercury ) → HasA
Results from Ascent++: 1
atmosphere → HasA → oxygen 0.25