__ __ X Y Z __ X __ Y Z __ X nil X __ nil X X and tt X X isNePal __ I __ P I tt __ 2 1 2 nil 0 and 2 1 tt 0 isNePal 1 1 FULL ./TRS/CSR_Maude/palindrome/PALINDROME_nosorts.trs