Assertion list for term "event horizons".
Results from Ascent++: 1
black hole → HasA → event horizons 0.56