Assertion list for term "lie with the product".

Results from Ascent++: 1
fault CapableOflie with the product 0.28