Assertion list for term "explore n(t".

Results from Ascent++: 1
comparison CapableOfexplore n(t 0.25