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

Suppose an individual ?x satisfies: D-alpha-amino acid(?x). Which composite conclusion is inferred?

A. is conjugate acid of(?x, ?y) ∧ lateral nucleus of stria terminalis(?y)
B. D-alpha-amino acid anion(?y) ∧ is conjugate acid of(?x, ?y)
C. corticospinal tract(?y) ∧ is conjugate acid of(?x, ?y)
D. D-alpha-amino acid anion(?y) ∧ has synaptic terminal in(?x, ?y)

Answer: D-alpha-amino acid anion(?y) ∧ is conjugate acid of(?x, ?y)