Assertion list
fossil fuel (subgroup of fuel ) → IsA
Results from Ascent++: 1
fossil fuel → IsA → fuel 0.30