Assertion list
feature (aspect of treadmill ) → HasA
Results from Ascent++: 1
feature → HasA → the benefit 0.53