Assertion list for term "lie in openness".

Results from Ascent++: 1
future CapableOflie in openness 0.21