Assertion list
feature (aspect of treadmill ) → HasProperty
Results from Ascent++: 3
feature → HasProperty → useful 0.46
feature → HasProperty → great 0.29
feature → HasProperty → important 0.16