Assertion list
nothingness (primary) → HasA
Results from Ascent++: 1
nothingness → HasA → property 0.48