Assertion list
hollow (primary) → HasProperty
Results from Ascent++: 3
hollow → HasProperty → empty 0.84
hollow → HasProperty → deep 0.45
hollow → HasProperty → shallow 0.25