इसका टेक्स्ट मैसेज भेजे: An Efficient Method for Eliminating Varying Predicates from a Circumscription