Assertion list for term "provided at the time warranty service".
Results from Ascent++: 1
proof → ReceivesAction → provided at the time warranty service 0.15