So Friday we were talking about adding attributes at the platform level in SpiceDB. It was working well until I got stuck on this:

/** An active investment has not been canceled */
    permission active_investment = investment - platform->canceled
    /** A deal participant is an account sponsor of a deal's active investment */
    permission participant = active_investment->account_sponsor

I can't do

permission->relation

. But I also can't nest arrows. So I think I need to model it differently somehow.....?