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

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

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

Answer: NAD(P)(?x)