Let a and $b$ are both constants symbols. Let $Pbe$ a unary predicate symbol, $Qbe$

a binary predicate symbol and $Rbe$ a ternary predicate symbol.

$(a)$ Show that $y(QayRyyy)|=xz(QxzRzxz)$

A fellow student wrote the FOL sentence: $xxPx.$

$i.$ Given $an$ arbitrary interpretation, how would you evaluate this sentence?

$ii.$ How should the student modify this formula such that $itis$ more readable?