(VAR X )
(RULES 
        eq -> true
        eq -> eq
        eq -> false
        inf(X) -> cons
        take(0, X) -> nil
        take(s, cons) -> cons
        length(nil) -> 0
        length(cons) -> s
        
)