Task: Misc.
Input (English): PersonX draws PersonY's ___ to the fact
Output (English): to prove the fact