Assertion list
true self (subgroup of self ) → HasProperty
Results from Ascent++: 4
true self → HasProperty → good 0.60
true self → HasProperty → infinite 0.25
true self → HasProperty → pure 0.25
true self → HasProperty → imperishable 0.16