Consider the following predicate logic formula: "x (P(x) y Q(x, y))". This formula can be read as Group of answer choices There exists an x such that if P(x) is true, then Q(x, y) is true for every y There exists an x such that if Q(x, y) is true, then P(x) is true for some y For every x, if P(x) is true, then there exists a y such that Q(x, y) is true. For every x, if Q(x, y) is true, then P(x) is true for some y