Assertion list for term "happen at point".

Results from Ascent++: 1
justification CapableOfhappen at point 0.25