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

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

A. L-alpha-amino acid(?y) ∧ is tautomer of(?x, ?y)
B. choline(?y) ∧ is tautomer of(?x, ?y)
C. L-alpha-amino acid(?y) ∧ results in changes to anatomical or cellular structure(?x, ?y)
D. is tautomer of(?x, ?y) ∧ red nucleus(?y)

Answer: L-alpha-amino acid(?y) ∧ is tautomer of(?x, ?y)