Assertion list
gas (primary) → SimilarTo
Results from Ascent++: 1
gas → SimilarTo → liquid 0.33