(VAR I P V V1 V2 X Y Z )
(STRATEGY CONTEXTSENSITIVE
        (__ 1 2) 
        (nil ) 
        (U11 1) 
        (tt ) 
        (U21 1) 
        (U22 1) 
        (isList ) 
        (U31 1) 
        (U41 1) 
        (U42 1) 
        (isNeList ) 
        (U51 1) 
        (U52 1) 
        (U61 1) 
        (U71 1) 
        (U72 1) 
        (isPal ) 
        (U81 1) 
        (isQid ) 
        (isNePal ) 
        (a ) 
        (e ) 
        (i ) 
        (o ) 
        (u ) 
)
(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
        
)