texts: domain: movie tickets  <s> There are showtimes at 4:15, 6:25, 7:40 and 10 PM. </s> <s> Ok, are there tickets available for the 6:25 show? </s> <s> Sorry, the 6:25 show is currently sold out.
labels: Ok. How about the 7:40 show?