cnf(name,role,
    ( p(f(X), Y) | q(Y) ) ).