Assertion list
shadow (aspect of black hole ) → HasProperty
Results from Ascent++: 1
shadow → HasProperty → visible 0.31