Let L $=\{$ f $,$ g$,$ R$,$ S$,$ c$,$ d$\}$ where f is a unary function symbol, g is a binary func$-$

tion symbol, R is a binary relation symbol, S is a ternary relation symbol, and c

and d are constants