First Order Logic Let the domain be Animals, denoted by $A.$ Consider the following predicates:

lion$(x)$:$x$ is a lion

zebra$(x)$:$x$ is a zebra

gentle$(x)$:$x$ is gentle

lovely $(x)$:$x$ is lovely

predator$(x)$:$x$ is a predator

old $(x)$:$x$ is old

play$(x,y)$:$x$ plays with $y$

Consider the statements:

Some lions are gentle

All lions are predators

All lions except old ones are lovely

Some lions are gentle and play with all zebras

All zebras are lovely and gentle

Translate the above statements in FOL. Use only the predicates above, along with connectives and