f0cons0fs0fs0fps0ps00f100cons2s1p1FULL./TRS/nontermin/CSR/Ex4_7_15_Bor03.trs