Assertion list for term "lie with both".

Results from Ascent++: 1
fault CapableOflie with both 0.26