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

Suppose an individual ?x satisfies: pi-system size(?x). Which conclusion is one valid inferred conclusion?

A. amino acid count(?x)
B. molecular formula(?x)
C. count descriptor(?x)
D. proton count(?x)

Answer: count descriptor(?x)