Task: SWRL-based Rule Reasoning (ontology: Sciences/Biology)

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

A. Canada(?x)
B. Lesotho(?x)
C. Sudan(?x)
D. United States(?x)

Answer: United States(?x)