Assertion list
digital certificate (subgroup of certificate ) → HasProperty
Results from Ascent++: 1
digital certificate → HasProperty → valid 0.81