Assertion list for term "leave at approx".

Results from Ascent++: 1
bus CapableOfleave at approx 0.32