Assertion list
event horizon (aspect of black hole ) → IsA
Results from Ascent++: 4
event horizon → IsA → the boundary 0.64
event horizon → IsA → the point 0.60
event horizon → IsA → about 25 billion miles 0.25
event horizon → IsA → less than 4 miles 0.25