Assertion list for term "covered under the warranty".

Results from Ascent++: 1
part (aspect of engine) ReceivesActioncovered under the warranty 0.25