Assertion list for term "lie on the bar".

Results from Ascent++: 1
cd CapableOflie on the bar 0.25