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

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

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

Answer: NAD(P)(?x)