Premise: The 1980 British Grand Prix (formally the XXXIII Marlboro British Grand Prix) was a Formula One motor race held at Brands Hatch on 13 July 1980. It was the eighth round of the 1980 Formula One season. The race was held over 76 laps of the 4.207-km (2.614-mile) circuit for a total race distance of 319.73 km (198.67 miles).
Hypothesis: The 1980 British Grand Prix was shown on TV in England.