Assertion list
digital thermometer (subgroup of thermometer ) → HasProperty

Results from Ascent++: 1
digital thermometerHasProperty accurate 0.61