Assertion list
vending machine (primary) → IsA
Results from Ascent++: 2
vending machine → IsA → automated machine 0.60
vending machine → IsA → machine 0.47