Assertion list for term "see three lead changes".

Results from Ascent++: 1
set CapableOfsee three lead changes 0.32