Assertion list
gas (primary) → DefinedAs
Results from Ascent++: 1
gas → DefinedAs → general rule 0.29