| •owl:Thing |
| •sec:Countermeasure |
| •sec:LoginSystem |
| sec:protects SOME (sec:_Authentication AND sec:_Human AND sec:_Prevention) |
| sec:Countermeasure |
| sec:protects ONLY (sec:_Authentication AND sec:_Human AND sec:_Prevention) |
| sec:verifiesCredential SOME sec:Credential |
Class(sec:LoginSystem partial restriction(sec:protects someValuesFrom(intersectionOf(sec:_Authentication
sec:_Human
sec:_Prevention)))
sec:Countermeasure
restriction(sec:protects allValuesFrom(intersectionOf(sec:_Authentication
sec:_Human
sec:_Prevention)))
restriction(sec:verifiesCredential someValuesFrom(sec:Credential)))