YES 1 decompositions #0 ----------- 1: h(x) -> g(x) 2: g(x) -> h(x) 3: f(x,y) -> f(y,x) 4: f(g(x),h(y)) -> f(x,y) 5: f(h(x),h(y)) -> f(y,x) @Rule Labeling --- R 1: h(x) -> g(x) 2: g(x) -> h(x) 3: f(x,y) -> f(y,x) 4: f(g(x),h(y)) -> f(x,y) 5: f(h(x),h(y)) -> f(y,x) --- S 1: h(x) -> g(x) 2: g(x) -> h(x) 3: f(x,y) -> f(y,x) 4: f(g(x),h(y)) -> f(x,y) 5: f(h(x),h(y)) -> f(y,x)