Assertion list
upset (primary) → HasProperty
Results from Ascent++: 3
upset → HasProperty → possible 0.84
upset → HasProperty → common 0.25
upset → HasProperty → inevitable 0.16