cnf(composer_exists, axiom, ( response(compose(X,Y),W) = response(X,response(Y,W)) )).
cnf(a_to_b_responds_c, hypothesis, ( response(a,b) = c )).
cnf(a_to_c_responds_b, hypothesis, ( response(a,c) = b )).