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

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

A. all-trans-nonaprenyl-diphosphate synthase (geranylgeranyl-diphosphate specific) activity(?x)
B. all-trans-octaprenyl-diphosphate synthase activity(?x)
C. all-trans-decaprenyl-diphosphate synthase activity(?x)
D. prenyl diphosphate synthase activity(?x)

Answer: prenyl diphosphate synthase activity(?x)