Consider the following predicates:

P$($x$,$y$)$: Student x is taking class y

Q$($y$,$z$)$: Class y is held in the building z

where the universe of discourse is all Concordia students for x $,$

all Concordia classes for y$,$

and all Concordia buildings for z$.$

Which of the following correctly expresses the proposition below:

$$x$$z$$y$($P$($x$,$y$)->$Q$($y$,$z$))$