Task: Text Categorization
Input (English): Graham Oppy published a work about this statement, which was reformulated in terms of social relatedness by Hartshorne. One objection to it, the first of the "Overload Objections", is Guanilo's Island. Gasking parodied this statement using its subject's handicaps, while Kant's argument against it hinges on the fact that existence isn't a predicate. It was restated relying on axiom S5 of modal logic by Alvin Plantinga. Originally presented in the Proslogion of St. Anselm in terms of perfection, for 10 points, name this argument which asserts god exists because there must be some single greatest thing in the universe.
Output (English): Social Science