texts: domain: movie tickets  <s> There's a 7:40 and a 10:25 </s> <s> 10:25's too late, who sees a movie on a weeknight at 10:25? </s> <s> Not you evidently... </s> <s> You said 7:40 was the other time? </s> <s> Yes, 7:40.
labels: OK, 7:40 will work.