This morning I renewed my Network Railcard, which gives a 1/3 discount for weekday off-peak travel after 10:00. I was intending to catch the 10:18 from Pangbourne to Paddington, but noticed that the preceding train, scheduled to depart at 9:52 was running 6 minutes late. The (very pleasant and helpful) GWR ticket office person asked if I was planning to catch the 9:52 and I joked that I might if it got any later and arrived after 10:00. She laughed but said that some of her colleagues took the view that Network Railcards were only valid on trains that were booked to depart after 10:00. The Network Railcard website only says "Network Railcard discounts are not valid on tickets for travel before 10.00hrs, Monday to Friday (excluding public holidays)." Any thoughts on which is correct?