Assertion list
treadmill (primary) → IsA
Results from Ascent++: 2
treadmill → IsA → device 0.54
treadmill → IsA → excellent piece of fitness equi… 0.32