MAYBE
94.01/25.80	MAYBE
94.01/25.80	
94.01/25.80	Problem:
94.01/25.80	 a____(__(X,Y),Z) -> a____(mark(X),a____(mark(Y),mark(Z)))
94.01/25.80	 a____(X,nil()) -> mark(X)
94.01/25.80	 a____(nil(),X) -> mark(X)
94.01/25.80	 a__and(tt(),X) -> mark(X)
94.01/25.80	 a__isList(V) -> a__isNeList(V)
94.01/25.80	 a__isList(nil()) -> tt()
94.01/25.80	 a__isList(__(V1,V2)) -> a__and(a__isList(V1),isList(V2))
94.01/25.80	 a__isNeList(V) -> a__isQid(V)
94.01/25.80	 a__isNeList(__(V1,V2)) -> a__and(a__isList(V1),isNeList(V2))
94.01/25.80	 a__isNeList(__(V1,V2)) -> a__and(a__isNeList(V1),isList(V2))
94.01/25.80	 a__isNePal(V) -> a__isQid(V)
94.01/25.80	 a__isNePal(__(I,__(P,I))) -> a__and(a__isQid(I),isPal(P))
94.01/25.80	 a__isPal(V) -> a__isNePal(V)
94.01/25.80	 a__isPal(nil()) -> tt()
94.01/25.80	 a__isQid(a()) -> tt()
94.01/25.80	 a__isQid(e()) -> tt()
94.01/25.80	 a__isQid(i()) -> tt()
94.01/25.80	 a__isQid(o()) -> tt()
94.01/25.80	 a__isQid(u()) -> tt()
94.01/25.80	 mark(__(X1,X2)) -> a____(mark(X1),mark(X2))
94.01/25.80	 mark(and(X1,X2)) -> a__and(mark(X1),X2)
94.01/25.80	 mark(isList(X)) -> a__isList(X)
94.01/25.80	 mark(isNeList(X)) -> a__isNeList(X)
94.01/25.80	 mark(isQid(X)) -> a__isQid(X)
94.01/25.80	 mark(isNePal(X)) -> a__isNePal(X)
94.01/25.80	 mark(isPal(X)) -> a__isPal(X)
94.01/25.80	 mark(nil()) -> nil()
94.01/25.80	 mark(tt()) -> tt()
94.01/25.80	 mark(a()) -> a()
94.01/25.80	 mark(e()) -> e()
94.01/25.80	 mark(i()) -> i()
94.01/25.80	 mark(o()) -> o()
94.01/25.80	 mark(u()) -> u()
94.01/25.80	 a____(X1,X2) -> __(X1,X2)
94.01/25.80	 a__and(X1,X2) -> and(X1,X2)
94.01/25.80	 a__isList(X) -> isList(X)
94.01/25.80	 a__isNeList(X) -> isNeList(X)
94.01/25.80	 a__isQid(X) -> isQid(X)
94.01/25.80	 a__isNePal(X) -> isNePal(X)
94.01/25.80	 a__isPal(X) -> isPal(X)
94.01/25.80	
94.01/25.80	Proof:
94.01/25.80	 Open
94.01/25.81	EOF