Assertion list
thermistor (primary) → IsA
Results from Ascent++: 1
thermistor → IsA → resistor 0.81