what is operator precedence in spicedb? like say I want to do something like:

user & granted->do_something + admin->do_something

does that Just Work^tm? do I need parentheses? is this documented somewhere? (in the above example i'm hoping that & has higher precedence than +)