Assertion list for term "point to boolean".

Results from Ascent++: 1
argument (aspect of function) CapableOfpoint to boolean 0.19