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

Suppose an individual ?x satisfies: lanosterol synthase activity(?x). Which conclusion is one valid inferred conclusion?

A. oxidosqualene cyclase activity(?x)
B. isomaltulose synthase activity(?x)
C. pseudouridine synthase activity(?x)
D. beta-amyrin synthase activity(?x)

Answer: oxidosqualene cyclase activity(?x)