1-) Given signature O = {a,b}, F = {}, P = {p,q}and V = {X,Y}, what is the grounding of the following program

p(X,Y ) :- q(Y,X).

2-) (Satisfaction of rules) Given a rule r and S where

r is q(c) or q(a) :- p(a),s(b),not s(a), and

S = {q(c),p(a),s(b)},

does S satisfy r? Give detailed explanation.