Task: SWRL-based Rule Reasoning (ontology: Earth_Environment/EnvironmentOntology)

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

A. NAD(P)H(P)
B. NADH(P)
C. NAD(P)H(?x)
D. NADP(P)

Answer: NAD(P)H(?x)