Assertion list
event horizon (aspect of black hole ) → HasProperty
Results from Ascent++: 4
event horizon → HasProperty → big 0.43
event horizon → HasProperty → spherical 0.41
event horizon → HasProperty → visible 0.41
event horizon → HasProperty → real 0.34