Ticket dispenser example
nQueries:
uHow many tickets have we sold?
uHow many tickets are left?
nProperties:
uNext ticket number
uTickets left