7. First Order Logic Let the domain be the World. Consider the following predicates: L(x): x is a lion P(x): x is a predator O(x): x is old R(x): a roars D(x): is a deer E(x,y): x eats y Write each of the following statement in First Order Logic. Then write its negation 1. Some lions roar 2. All lions are predator 3. All lions except old ones roar 4. Only lions roar 5. Some lions eat all deers 6. All lions eat all deers