fromXconsXfromsXafter0XSXSaftersNconsXXSafterNXSfrom1cons2s1after200FULL./TRS/nontermin/CSR/Ex4_7_56_Bor03.trs