as an example: let's say you have a schema like so:

definition user {}

definition document {
  relation reader: user
  relation writer: user
  permission write = writer
  permission view = reader + write
}

and you want to check if the user can read and write