Assertion list
oil furnace (subgroup of furnace ) → IsA
Results from Ascent++: 1
oil furnace → IsA → the heating component 0.25