Assertion list for term "point at tip".

Results from Ascent++: 1
flipper CapableOfpoint at tip 0.25