Assertion list for term "lie in area".

Results from Ascent++: 1
ball CapableOflie in area 0.39