(COMMENT generated from Maude module 'PALINDROME' by 'nokinds-noand' transformation)
(VAR I P V1 V2 V Z Y X)
(STRATEGY CONTEXTSENSITIVE
(U11 1)
(U21 1)
(U22 1)
(U31 1)
(U41 1)
(U42 1)
(U51 1)
(U52 1)
(U61 1)
(U71 1)
(U72 1)
(U81 1)




(isList )
(isNeList )
(isNePal )
(isPal )
(isQid )



)
(RULES
__(__(X,Y),Z) -> __(X,__(Y,Z))

__(X,nil) -> X

__(nil,X) -> X

U11(tt) -> tt

U21(tt,V2) -> U22(isList(V2))

U22(tt) -> tt

U31(tt) -> tt

U41(tt,V2) -> U42(isNeList(V2))

U42(tt) -> tt

U51(tt,V2) -> U52(isList(V2))

U52(tt) -> tt

U61(tt) -> tt

U71(tt,P) -> U72(isPal(P))

U72(tt) -> tt

U81(tt) -> tt

isList(V) -> U11(isNeList(V))

isList(nil) -> tt

isList(__(V1,V2)) -> U21(isList(V1),V2)

isNeList(V) -> U31(isQid(V))

isNeList(__(V1,V2)) -> U41(isList(V1),V2)

isNeList(__(V1,V2)) -> U51(isNeList(V1),V2)

isNePal(V) -> U61(isQid(V))

isNePal(__(I,__(P,I))) -> U71(isQid(I),P)

isPal(V) -> U81(isNePal(V))

isPal(nil) -> tt

isQid(a) -> tt

isQid(e) -> tt

isQid(i) -> tt

isQid(o) -> tt

isQid(u) -> tt
)