Task: SWRL-based Rule Reasoning (ontology: Legal/ELI)

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

A. refers to(?x)
B. has translation(?x)
C. Concept(?x)
D. is member of(?x)

Answer: Concept(?x)