Assertion list
smoke point (aspect of olive oil ) → IsA

Results from Ascent++: 2
smoke pointIsA the temperature 0.68
smoke pointIsA the point 0.16