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