Class(ThreatByIntegrity complete sec:Threat restriction(sec:threatens someValuesFrom(sec:_Integrity))) SubClassOf(ThreatByIntegrity ThreatByGoal)