Assertion list for term "become smaller than the apparent horizon".
Results from Ascent++: 1
event horizon (aspect of black hole) → CapableOf → become smaller than the apparent horizon 0.25