Assertion list for term "show at least one discrepancy".

Results from Ascent++: 1
basis CapableOfshow at least one discrepancy 0.25