Assertion list
warranty (aspect of treadmill ) → HasProperty
Results from Ascent++: 2
warranty → HasProperty → good 0.75
warranty → HasProperty → short 0.16