Assertion list
antifreeze (primary) → IsA
Results from Ascent++: 1
antifreeze → IsA → liquid 0.36