Task: Text Categorization
Input (English): because that proposition is contrary to the restatement rule as adopted in gross, barber and joe cooper are, to that extent, overruled.
Output (English): overruling