| verifiesCredential ONLY X.509CertificateData |
| SigningWithCertificate |
| verifiesCredential SOME X.509CertificateData |
Class(SigningWithX.509Certificate partial restriction(verifiesCredential allValuesFrom(X.509CertificateData))
SigningWithCertificate
restriction(verifiesCredential someValuesFrom(X.509CertificateData)))