Assertion list
commercial treadmill (subgroup of treadmill ) → HasA
Results from Ascent++: 1
commercial treadmill → HasA → dc 0.68