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

Suppose an individual ?x satisfies: phosphorelay sensor kinase activity(?x). Which conclusion is one valid inferred conclusion?

A. protein histidine pros-kinase activity(?x)
B. protein serine/threonine kinase activity(?x)
C. protein histidine kinase activity(?x)
D. protein serine/threonine/tyrosine kinase activity(?x)

Answer: protein histidine kinase activity(?x)