Assertion list
disqualification (primary) → HasProperty
Results from Ascent++: 4
disqualification → HasProperty → final 0.41
disqualification → HasProperty → improper 0.36
disqualification → HasProperty → automatic 0.30
disqualification → HasProperty → temporary 0.25