Assertion list
resistance (aspect of thermistor ) → HasProperty

Results from Ascent++: 1
resistanceHasProperty proportional 0.25