Assertion list
infrared thermometer (subgroup of thermometer ) → IsA
Results from Ascent++: 1
infrared thermometer → IsA → the proximity sensor 0.25