q(?x) :- R(?x,?1)