Assertion list for term "lie at same level".

Results from Ascent++: 1
recess CapableOflie at same level 0.25