أرسل هذا في رسالة قصيرة: Finite open-world query answering with number restrictions