Assertion list
boiling point (primary) → IsA

Results from Ascent++: 1
boiling pointIsA the temperature 0.68