(VAR )
(RULES
response(a,b) -> b
)