(VAR X Y Z )
(RULES 
        noabs(A(X, Y)) -> A(noabs(X), noabs(Y))
        noabs(V(X)) -> V(X)
        A(L(Z), Y) -> 
        
)