The street parking tagging scheme uses parking:side:private=*. We could take a similar approach for distinguishing between two or more restrictions that are private in nature.
I figure that the tagging on an amenity=library would pertain to the institution’s general rules. If each department has been micromapped at a library or library branch, the rare books department can indicate that it’s only for viewing, not circulation.