Input (grade 10): If an NFL game is tied after four quarters, the teams play an additional period lasting up to 15 minutes.
Output (grade 9): In NFL football, if the game is tied after the four quarters the two teams compete in one more 15 minute period called overtime.