Assertion list
warranty (aspect of treadmill ) → CapableOf

Results from Ascent++: 1
warrantyCapableOf cover part 0.25