(roleattributeset cil_gen_require system_r)

(optional permissivedomains_optional_1
    (typeattributeset cil_gen_require tangd_t)
    (typepermissive tangd_t)
)

(optional permissivedomains_optional_2
    (typeattributeset cil_gen_require opafm_t)
    (typepermissive opafm_t)
)

(optional permissivedomains_optional_3
    (typeattributeset cil_gen_require boltd_t)
    (typepermissive boltd_t)
)