Assertion list
outer space (primary) → HasProperty
Results from Ascent++: 3
outer space → HasProperty → free 0.68
outer space → HasProperty → integral 0.33
outer space → HasProperty → super 0.25