Assertion list
criminal conviction (subgroup of conviction ) → HasProperty
Results from Ascent++: 1
criminal conviction → HasProperty → necessary 0.25