Assertion list
espresso machine (subgroup of machine ) → IsA
Results from Ascent++: 1
espresso machine → IsA → steam types 0.31