Assertion list for term "point at border".

Results from Ascent++: 1
arrow CapableOfpoint at border 0.25