Assertion list
liquid (primary) → HasPrerequisite
Results from Ascent++: 1
liquid → HasPrerequisite → narrow temperature/pressure ran… 0.25