@User if you intend to link to all users on the platform type, you can use a wildcard to remove the need to add every user there:

definition platform {
    relation user: user:*
}

then you just write the relationship

platform:birdie#user@user:*

, and it'll be as if any user is there