Información del jugador y votación para R. van Benthem