Search: The football referee ruled the play legal. Which definition matches