o lambda x y lambda o x d 1 o y p o d x y z d o x z o y z o o x y z o x o y z lambda x x o x y x o x y y d x y x d x y y o x y d x y o x y d y x lambda 1 1 0 o 2 d 2 p 0 FULL ./TRS/Koprowski/relsubst.trs