Assertion list
digital thermometer (subgroup of thermometer ) → CapableOf

Results from Ascent++: 1
digital thermometerCapableOf display temperature 0.38