Class(sec:Anti-VirusSoftware partial restriction(sec:protects allValuesFrom(intersectionOf(unionOf(sec:_Prevention
sec:_Detection
sec:_Recovery)
sec:_Technology
unionOf(sec:_Integrity
sec:_Availability
sec:_PolicyCompliance))))
sec:AccessControlMechanism
restriction(sec:protects someValuesFrom(sec:_Availability))
sec:Monitoring
restriction(sec:protects someValuesFrom(sec:_Detection))
restriction(sec:protects someValuesFrom(sec:_Technology))
restriction(sec:protects someValuesFrom(sec:_Integrity)))