actually spice db is wriiten , i want to write assertion relationship in order to check of a user can access a tenant , can any one help me ?