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

Suppose an individual ?x satisfies: Applied Biosystems 1700 Expression Array System Software(?x). Which conclusion is one valid inferred conclusion?

A. CodeLink Expression Scanning Software(?x)
B. software(?x)
C. operating system(?x)
D. BasReader 3.01(?x)

Answer: software(?x)