Assertion list
prior conviction (subgroup of conviction ) → HasA

Results from Ascent++: 1
prior convictionHasA same effect 0.47