"Can B traverse the binary relationship (see that A declares B is a friend)?" . . . .