Assertion list
mass (aspect of black hole ) → HasProperty

Results from Ascent++: 3
massHasProperty small 0.38
massHasProperty zero 0.32
massHasProperty large 0.25