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

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

A. polycyclic compound(?x)
B. bicyclic compound(?x)
C. monocyclic compound(?x)
D. organic cyclic compound(?x)

Answer: monocyclic compound(?x)