Assertion list
cheap treadmill (subgroup of treadmill ) → CapableOf

Results from Ascent++: 1
cheap treadmillCapableOf offer all of the above 0.59