a a append nil ys ys a a append a a cons x xs ys a a cons x a a append xs ys a a filter f nil nil a a filter f a a cons x xs a a a if a f x x a a filter f xs a a le 0 y true a a le a s x 0 false a a le a s x a s y a a le x y a a a if true x xs a a cons x xs a a a if false x xs xs a a not f b a not2 a f b a not2 true false a not2 false true a qs nil nil a qs a a cons x xs a a append a qs a a filter a le x xs a a cons x a qs a a filter a not a le x xs a 2 append 0 nil 0 cons 0 filter 0 if 0 le 0 0 0 true 0 s 0 false 0 not 0 not2 0 qs 0 FULL ./TRS/SchneiderKamp/trs/thiemann35.trs