Input TRS: 1: R(x,B2()) -> B2() e1: B1() ->= R(T(),B1()) [relative] Number of Rules: 1 Direct POLO(Sum) ...Direct Mat2b ... removes: 1 I(T) = [0;1] I(B1) = [2;0] I(R) = [1,0;0,0] * x1 + [1,1;0,1] * x2 I(B2) = [1;1] Number of Rules: 0