Using the definitions of predicates from the last question, write the follwoing

statements in good English without using variables in your answers.

$($a$)$y T$($Joe$,$ y$)$

$($b$)$x $($A$($x$)$F$($x$))$

$($c$)$x$$y T$($x$,$ y$)$

$($d$)$x$$y $[($B$($x$)$ F$($x$))->($M$($y$)$ T$($x$,$ y$))]$