| protects SOME (_Detection AND _Authentication AND _Sender) |
| SignatureAlgorithm |
Class(MACAlgorithm partial restriction(protects someValuesFrom(intersectionOf(_Detection
_Authentication
_Sender)))
SignatureAlgorithm)