Assertion list
infrared thermometer (subgroup of thermometer ) → ReceivesAction
Results from Ascent++: 2
infrared thermometer → ReceivesAction → illustrated in fig 0.62
infrared thermometer → ReceivesAction → easy to use 0.40