What are the arities of predicates p$1$

and p$2$

in the formula $$x$($p$1($x$)->$p$2($x$,$y$,$x$))$

$?$

a$.$

$1$ and $2,$ respectively

b$.$

$1$ and $3,$ respectively

c$.$

$2$ and $3,$ respectively

d$.$

Impossible to tell from the formula.