Assertion list
burning candle (subgroup of candle ) → IsA
Results from Ascent++: 1
burning candle → IsA → open flame 0.16