أرسل هذا في رسالة قصيرة: An Efficient Method for Eliminating Varying Predicates from a Circumscription