Task: Fact Verification
Input (English): Mike Tyson competed under the heavy weight division of boxing.
Mike Tyson was a heavy weight boxing champion.
Output (English): True