"PermissionProvidesAlternativeMeansOfComplianceToRequirement"
Fact Type ↑
Summary

Permission provides alternative means of compliance to requirement.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
InternalUniquenessConstraint147
Type:
InternalUniquenessConstraint
Verbalization:

Each permission provides alternative means of compliance to at most one requirement.
SimpleMandatoryConstraint83
Type:
SimpleMandatoryConstraint
Verbalization:

It is obligatory that each permission provides alternative means of compliance to some requirement.