Assertion list
motor (aspect of treadmill ) → HasA
Results from Ascent++: 1
motor → HasA → a lifetime warranty 0.60