YES 1 decompositions #0 ----------- 1: f(g(x)) -> h(g(x),g(x)) 2: f(s(x)) -> h(s(x),s(x)) 3: g(x) -> s(x) @Parallel Closedness --- R 1: f(g(x)) -> h(g(x),g(x)) 2: f(s(x)) -> h(s(x),s(x)) 3: g(x) -> s(x) --- S 1: f(g(x)) -> h(g(x),g(x)) 2: f(s(x)) -> h(s(x),s(x)) 3: g(x) -> s(x)