Assertion list
ax (primary) → HasProperty
Results from Ascent++: 6
ax → HasProperty → positive 0.61
ax → HasProperty → diffusible 0.42
ax → HasProperty → greater than n 0.34
ax → HasProperty → equal 0.25
ax → HasProperty → extensible 0.25
ax → HasProperty → sharp 0.25