發送短信: Finite open-world query answering with number restrictions