Kurt Gödel’s Ontological Argument – Line By Line Explanation

What kind of predicate is P ("is a positive property") in Gödel's proof?

1. A.A first-order predicate over individual objects
2. B.A second-order predicate that takes a property and returns true or false
3. C.A modal operator like "necessarily" or "possibly"
4. D.A relation between two individual objects