caveat some_bool_is_true(the_bool bool) {
  the_bool
}

definition user {}

definition context {
  relation owner: user
  relation edit_manager: user with some_bool_is_true
  relation view_manager: user
  permission edit = owner + edit_manager
  permission view = view_manager + owner
}

definition document {
  relation context: context
  permission edit = context->edit
  permission view = context->view
}