texts: domain: movie tickets  <s> Oh no, that is way too late! We have dinner reservations then. Is there another theather that is playing Dumbo at 1:00pm or 2:00pm?
labels: Lumber Jack Square Cinema is playing Dumbo at 1:15pm, is that okay?