Let $L=\{f,g,R,S,c,d\}$ where $f$ is a unary function symbol, $g$ is a binary function symbol, $R$ is a binary relation symbol, $S$ is a ternary relation symbol, and $c$ and $d$ are constant symbols.

List all subformulas of $AA{x}_1$not$(Sc{x}_{1}dAA{x}_{2}not{x}_2$~~$g{x}_1{x}_2).$