Assertion list
thermometer (primary) → IsA
Results from Ascent++: 1
thermometer → IsA → device 0.60