{"id":"mcs-access-requires-all-categories","text":"A user must be assigned to all categories on a file to access it (conjunction rule — not just one matching category).","truth_value":"IN","source":"repo:entries/2026/03/04/en-documentation-red_hat_enterprise_linux-9-html-using_selinux-assembly_using-mu.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"mcs-access-requires-all-categories","truth_value":"IN","reason":"premise"}]}}