__ __ X Y Z __ X __ Y Z __ X nil X __ nil X X and tt X X isList V isNeList V isList nil tt isList __ V1 V2 and isList V1 isList V2 isNeList V isQid V isNeList __ V1 V2 and isList V1 isNeList V2 isNeList __ V1 V2 and isNeList V1 isList V2 isNePal V isQid V isNePal __ I __ P I and isQid I isPal P isPal V isNePal V isPal nil tt isQid a tt isQid e tt isQid i tt isQid o tt isQid u tt __ 2 1 2 nil 0 and 2 1 tt 0 isList 1 isNeList 1 isQid 1 isNePal 1 isPal 1 a 0 e 0 i 0 o 0 u 0 FULL ./TRS/CSR_Maude/palindrome/PALINDROME_nokinds.trs