Assertion list for term "touch at point".

Results from Ascent++: 1
circle CapableOftouch at point 0.25