q2(?k,?x1,?x2) :- hasCreditCard(?x1, ?k), livesIn(?x1,?x2), Region(?x2), Man(?x1), Gold(?k)