I'm not sure what you mean by your example - I just see that a document can be viewed by all users. Here's a modification of that, with fictional syntax in comments to help explain what I'm trying to accomplish

definition user {}

definition document {
    // attribute privacy: String
    relation reader: user | user:*
    permission view = reader // and privacy = "PUBLIC"
}