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

Suppose an individual ?x satisfies: subdivision of organism along appendicular axis(?x). Which composite conclusion is inferred?

A. appendage(?y) ∧ part of(?x, ?y)
B. part of(?x, ?y) ∧ presumptive ectoderm(?y)
C. part of(?x, ?y) ∧ trachea basement membrane(?y)
D. appendage(?y) ∧ preaxial to(?x, ?y)

Answer: appendage(?y) ∧ part of(?x, ?y)