; @origtpdbfilename ./TRS/TRCSR/Ex6_15_AEL02_C.trs
; @xtcfilename "./TRS_Standard/Transformed_CSR_04/Ex6_15_AEL02_C.xml"
(format TRS)
(fun active 1)
(fun sel 2)
(fun s 1)
(fun cons 2)
(fun mark 1)
(fun |0| 0)
(fun first 2)
(fun nil 0)
(fun from 1)
(fun sel1 2)
(fun quote 1)
(fun first1 2)
(fun nil1 0)
(fun cons1 2)
(fun |01| 0)
(fun quote1 1)
(fun s1 1)
(fun unquote 1)
(fun unquote1 1)
(fun fcons 2)
(fun proper 1)
(fun ok 1)
(fun top 1)
(rule (active (sel (s X) (cons Y Z))) (mark (sel X Z)))
(rule (active (sel |0| (cons X Z))) (mark X))
(rule (active (first |0| Z)) (mark nil))
(rule (active (first (s X) (cons Y Z))) (mark (cons Y (first X Z))))
(rule (active (from X)) (mark (cons X (from (s X)))))
(rule (active (sel1 (s X) (cons Y Z))) (mark (sel1 X Z)))
(rule (active (sel1 |0| (cons X Z))) (mark (quote X)))
(rule (active (first1 |0| Z)) (mark nil1))
(rule (active (first1 (s X) (cons Y Z))) (mark (cons1 (quote Y) (first1 X Z))))
(rule (active (quote |0|)) (mark |01|))
(rule (active (quote1 (cons X Z))) (mark (cons1 (quote X) (quote1 Z))))
(rule (active (quote1 nil)) (mark nil1))
(rule (active (quote (s X))) (mark (s1 (quote X))))
(rule (active (quote (sel X Z))) (mark (sel1 X Z)))
(rule (active (quote1 (first X Z))) (mark (first1 X Z)))
(rule (active (unquote |01|)) (mark |0|))
(rule (active (unquote (s1 X))) (mark (s (unquote X))))
(rule (active (unquote1 nil1)) (mark nil))
(rule (active (unquote1 (cons1 X Z))) (mark (fcons (unquote X) (unquote1 Z))))
(rule (active (fcons X Z)) (mark (cons X Z)))
(rule (active (sel X1 X2)) (sel (active X1) X2))
(rule (active (sel X1 X2)) (sel X1 (active X2)))
(rule (active (s X)) (s (active X)))
(rule (active (cons X1 X2)) (cons (active X1) X2))
(rule (active (first X1 X2)) (first (active X1) X2))
(rule (active (first X1 X2)) (first X1 (active X2)))
(rule (active (from X)) (from (active X)))
(rule (active (sel1 X1 X2)) (sel1 (active X1) X2))
(rule (active (sel1 X1 X2)) (sel1 X1 (active X2)))
(rule (active (first1 X1 X2)) (first1 (active X1) X2))
(rule (active (first1 X1 X2)) (first1 X1 (active X2)))
(rule (active (cons1 X1 X2)) (cons1 (active X1) X2))
(rule (active (cons1 X1 X2)) (cons1 X1 (active X2)))
(rule (active (s1 X)) (s1 (active X)))
(rule (active (unquote X)) (unquote (active X)))
(rule (active (unquote1 X)) (unquote1 (active X)))
(rule (active (fcons X1 X2)) (fcons (active X1) X2))
(rule (active (fcons X1 X2)) (fcons X1 (active X2)))
(rule (sel (mark X1) X2) (mark (sel X1 X2)))
(rule (sel X1 (mark X2)) (mark (sel X1 X2)))
(rule (s (mark X)) (mark (s X)))
(rule (cons (mark X1) X2) (mark (cons X1 X2)))
(rule (first (mark X1) X2) (mark (first X1 X2)))
(rule (first X1 (mark X2)) (mark (first X1 X2)))
(rule (from (mark X)) (mark (from X)))
(rule (sel1 (mark X1) X2) (mark (sel1 X1 X2)))
(rule (sel1 X1 (mark X2)) (mark (sel1 X1 X2)))
(rule (first1 (mark X1) X2) (mark (first1 X1 X2)))
(rule (first1 X1 (mark X2)) (mark (first1 X1 X2)))
(rule (cons1 (mark X1) X2) (mark (cons1 X1 X2)))
(rule (cons1 X1 (mark X2)) (mark (cons1 X1 X2)))
(rule (s1 (mark X)) (mark (s1 X)))
(rule (unquote (mark X)) (mark (unquote X)))
(rule (unquote1 (mark X)) (mark (unquote1 X)))
(rule (fcons (mark X1) X2) (mark (fcons X1 X2)))
(rule (fcons X1 (mark X2)) (mark (fcons X1 X2)))
(rule (proper (sel X1 X2)) (sel (proper X1) (proper X2)))
(rule (proper (s X)) (s (proper X)))
(rule (proper (cons X1 X2)) (cons (proper X1) (proper X2)))
(rule (proper |0|) (ok |0|))
(rule (proper (first X1 X2)) (first (proper X1) (proper X2)))
(rule (proper nil) (ok nil))
(rule (proper (from X)) (from (proper X)))
(rule (proper (sel1 X1 X2)) (sel1 (proper X1) (proper X2)))
(rule (proper (quote X)) (quote (proper X)))
(rule (proper (first1 X1 X2)) (first1 (proper X1) (proper X2)))
(rule (proper nil1) (ok nil1))
(rule (proper (cons1 X1 X2)) (cons1 (proper X1) (proper X2)))
(rule (proper |01|) (ok |01|))
(rule (proper (quote1 X)) (quote1 (proper X)))
(rule (proper (s1 X)) (s1 (proper X)))
(rule (proper (unquote X)) (unquote (proper X)))
(rule (proper (unquote1 X)) (unquote1 (proper X)))
(rule (proper (fcons X1 X2)) (fcons (proper X1) (proper X2)))
(rule (sel (ok X1) (ok X2)) (ok (sel X1 X2)))
(rule (s (ok X)) (ok (s X)))
(rule (cons (ok X1) (ok X2)) (ok (cons X1 X2)))
(rule (first (ok X1) (ok X2)) (ok (first X1 X2)))
(rule (from (ok X)) (ok (from X)))
(rule (sel1 (ok X1) (ok X2)) (ok (sel1 X1 X2)))
(rule (quote (ok X)) (ok (quote X)))
(rule (first1 (ok X1) (ok X2)) (ok (first1 X1 X2)))
(rule (cons1 (ok X1) (ok X2)) (ok (cons1 X1 X2)))
(rule (quote1 (ok X)) (ok (quote1 X)))
(rule (s1 (ok X)) (ok (s1 X)))
(rule (unquote (ok X)) (ok (unquote X)))
(rule (unquote1 (ok X)) (ok (unquote1 X)))
(rule (fcons (ok X1) (ok X2)) (ok (fcons X1 X2)))
(rule (top (mark X)) (top (proper X)))
(rule (top (ok X)) (top (active X)))