Assertion list for term "make a warranty claim".

Results from Ascent++: 1
proof CapableOfmake a warranty claim 0.25