Assertion list for term "event horizons".

Results from Ascent++: 1
black hole HasAevent horizons 0.56