Assertion list
spill (primary) → IsA

Results from Ascent++: 1
spillIsA liquid 0.33