The procedure party::permission_p is not defined in the server.

Show another procedure: