严格地说,依据语法要说 “Mary went to the box office at lunch time,but all the tickets had been sold out.”
但作为俚语化的说法,原文可以接受.