MAYBE 0.08/0.18 MAYBE 0.08/0.18 0.08/0.18 Problem: 0.08/0.18 a__from(X) -> cons(mark(X),from(s(X))) 0.08/0.18 a__after(0(),XS) -> mark(XS) 0.08/0.18 a__after(s(N),cons(X,XS)) -> a__after(mark(N),mark(XS)) 0.08/0.18 mark(from(X)) -> a__from(mark(X)) 0.08/0.18 mark(after(X1,X2)) -> a__after(mark(X1),mark(X2)) 0.08/0.18 mark(cons(X1,X2)) -> cons(mark(X1),X2) 0.08/0.18 mark(s(X)) -> s(mark(X)) 0.08/0.18 mark(0()) -> 0() 0.08/0.18 a__from(X) -> from(X) 0.08/0.18 a__after(X1,X2) -> after(X1,X2) 0.08/0.18 0.08/0.18 Proof: 0.08/0.18 Open 0.08/0.18 EOF