Assertion list for term "fall in vertical line".

Results from Ascent++: 1
circle CapableOffall in vertical line 0.31