What among the following could the universal instantiation of ___________For all x King(x) ^ Greedy(x) => Evil(x)

• A. King(John) ^ Greedy(John) => Evil(John)
• B. King(y) ^ Greedy(y) => Evil(y)
• C. King(Richard) ^ Greedy(Richard) => Evil(Richard)
• D. All of the mentioned