Input TRS: 1: f(b(x),y) -> f(x,b(y)) 2: f(x,a(y)) -> f(a(x),y) e1: f(x,y) ->= f(a(x),y) [relative] e2: f(x,y) ->= f(x,b(y)) [relative] Weak rule e2 calls a strict rule