f 0 cons 0 f s 0 f s 0 f p s 0 p s 0 0 f 1 0 0 cons 2 s 1 p 1 FULL ./TRS/nontermin/CSR/Ex4_7_15_Bor03.trs