Task: Text Categorization
Input (English): after considering these arguments, we agree that king should be overruled to the extent that it is inconsistent with the plain language of the provisions at issue.
Output (English): overruling