Assertion list
coke (primary) → IsA
Results from Ascent++: 3
coke → IsA → carbonated soft drink 0.51
coke → IsA → a high temperature fuel 0.25
coke → IsA → normal fuel 0.25