Assertion list
meat thermometer (subgroup of thermometer ) → UsedFor
Results from Ascent++: 1
meat thermometer → UsedFor → candy 0.25