Find a model that makes this true $\forall x \forall y(Fx \Rightarrow Rxy)$

Question

Symbolic logic help. Find a model that makes this true

$\forall x \forall y(Fx \Rightarrow Rxy)\Rightarrow \forall x \forall y(Fx \Rightarrow Ry)$

My attempt

$v(\forall x Fx)$= true iff for all $d$ in the domain $v(Fd)=t$ and $f$ otherwise.

My example:

Domain: $\{\text{Brazil, USA, Germany} \}$

(Interpretation) $I(F)=Brazil$

$I(R)=Brazil$

To be honest, I don't quite understand...

After edits

Attempt 2:

Domain: $\{\text{Brazil, USA, Germany, Argentina} \}$

$I(F):$ Country in South America

$I(x)$ Brazil

$I(y)$:Argentina

$I(R)$: Countries that speak a Latin language

Answer 1

HINT

Instead of interpreting the predicates as sets, I would recommend coming up with an informal interpretation of $F$ and $R$ as a concept. For example, you could say $F(x)$: $x$ is a country in South America, and $R(x,y)$: $x$ plays soccer better than $y$. ... except this one doesn't work, since that would mean that any country in South America plays soccer better than any country ... including itself! So, try to come up with something that does work.