Assertion list
prior conviction (subgroup of conviction ) → HasProperty
Results from Ascent++: 1
prior conviction → HasProperty → invalid 0.77