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