Assertion list
digital thermometer (subgroup of thermometer ) → HasProperty
Results from Ascent++: 1
digital thermometer → HasProperty → accurate 0.61