YES 1 decompositions #1 ----------- 1: f(x1) -> f(f(x1)) 2: g(x2) -> f(x2) 3: f(x3) -> g(x3) @Rule Labeling --- R 1: f(x1) -> f(f(x1)) 2: g(x2) -> f(x2) 3: f(x3) -> g(x3) --- S 1: f(x1) -> f(f(x1)) 2: g(x2) -> f(x2) 3: f(x3) -> g(x3)