Which of the following options represents a valid well$-$formed formula in predicate logic?

AAx$(EEy(P(x,y{)}^{{?}^{?}}Q(y))R(x))$

EEx$(P(x{)}^{{?}^{?}}$EEy$(Q(y)R(x,y)))$

EEx$(AAy(P(x{)}^{{?}^{?}}Q(y))$EEz$(R(x,z)vvS(y,z)))$

EEx$(P(x)vvQ(x))$AAy$(R(y{)}^{{?}^{?}}$EEz$(S(z,y)))$