Task: SWRL-based Rule Reasoning (ontology: Human_Society/People)

Suppose an individual ?x satisfies: animal(?x). Which conclusion is one valid inferred conclusion?

A. has child(?x, ?y)
B. eats(?y, ?x)
C. has parent(?x, ?y)
D. eats(?x, ?y)

Answer: eats(?x, ?y)