(COMMENT generated from Maude module 'PALINDROME' by 'complete' transformation) (VAR I P V1 V2 V X Z Y) (STRATEGY CONTEXTSENSITIVE (U11 1) (U12 1) (U21 1) (U22 1) (U23 1) (U31 1) (U32 1) (U41 1) (U42 1) (U43 1) (U51 1) (U52 1) (U53 1) (U61 1) (U62 1) (U71 1) (U72 1) (and 1) (isList ) (isNeList ) (isNePal ) (isPal ) (isPalListKind ) (isQid ) ) (RULES __(__(X,Y),Z) -> __(X,__(Y,Z)) __(X,nil) -> X __(nil,X) -> X U11(tt,V) -> U12(isNeList(V)) U12(tt) -> tt U21(tt,V1,V2) -> U22(isList(V1),V2) U22(tt,V2) -> U23(isList(V2)) U23(tt) -> tt U31(tt,V) -> U32(isQid(V)) U32(tt) -> tt U41(tt,V1,V2) -> U42(isList(V1),V2) U42(tt,V2) -> U43(isNeList(V2)) U43(tt) -> tt U51(tt,V1,V2) -> U52(isNeList(V1),V2) U52(tt,V2) -> U53(isList(V2)) U53(tt) -> tt U61(tt,V) -> U62(isQid(V)) U62(tt) -> tt U71(tt,V) -> U72(isNePal(V)) U72(tt) -> tt and(tt,X) -> X isList(V) -> U11(isPalListKind(V),V) isList(nil) -> tt isList(__(V1,V2)) -> U21(and(isPalListKind(V1),isPalListKind(V2)),V1,V2) isNeList(V) -> U31(isPalListKind(V),V) isNeList(__(V1,V2)) -> U41(and(isPalListKind(V1),isPalListKind(V2)),V1,V2) isNeList(__(V1,V2)) -> U51(and(isPalListKind(V1),isPalListKind(V2)),V1,V2) isNePal(V) -> U61(isPalListKind(V),V) isNePal(__(I,__(P,I))) -> and(and(isQid(I),isPalListKind(I)),and(isPal(P),isPalListKind(P))) isPal(V) -> U71(isPalListKind(V),V) isPal(nil) -> tt isPalListKind(a) -> tt isPalListKind(e) -> tt isPalListKind(i) -> tt isPalListKind(nil) -> tt isPalListKind(o) -> tt isPalListKind(u) -> tt isPalListKind(__(V1,V2)) -> and(isPalListKind(V1),isPalListKind(V2)) isQid(a) -> tt isQid(e) -> tt isQid(i) -> tt isQid(o) -> tt isQid(u) -> tt )