Input (grade 10): He was first named "Mario" in the arcade game Donkey Kong Junior in 1982, the only game in which he has ever been portrayed as an antagonist.
Output (grade 7): He was first named "Mario" in the arcade game Donkey Kong Junior in 1982, the only game where he is a villain.