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