Assertion list
ordinary (primary) → HasProperty
Results from Ascent++: 4
ordinary → HasProperty → boring 0.32
ordinary → HasProperty → apparent 0.28
ordinary → HasProperty → arbitrary 0.25
ordinary → HasProperty → more humane 0.21