Assertion list
atmosphere (aspect of mercury ) → HasA

Results from Ascent++: 1
atmosphereHasA oxygen 0.25