I think it would be helpful to explicitly mention what the | operator does, it feels to me as if it's the same as the '+' but just a special syntax you have to use when the right side is a wildcard or refers to a group. https://authzed.com/docs/reference/schema-lang#operations