Let P(x) = x is cold, Q(x, y) = x is y . The universe of x is seasons, and the universe of y is \{ coming, going \}. Rewrite the following predicates symbolically:

Winter is cold, and winter is coming