Task: Misc.
Input (English): PersonX proves PersonX's case
Output (English): to prove something.