could also use an

->

to simplify the relationship written, ala:

definition user {
  relation self: user
  relation parent: user
  relation in_excluded_state: user
  permission can_schedule = self + (parent - in_excluded_state->parent)
}