Adult tickets for a school play cost $10 and child tickets cost $5. The total revenue from ticket sales was $250. If $20$ adult tickets were sold, how many child tickets were sold?