Task: SWRL-based Rule Reasoning (ontology: Business_Finance/Financial_Industry_Business_Ontology)

Suppose an individual ?x satisfies: legal right(?x). Which composite conclusion is inferred?

A. implies(?x, ?y) ∧ legal right(?y)
B. contractual right(?y) ∧ implies(?x, ?y)
C. is implied by(?x, ?y) ∧ legal obligation(?y)
D. implies(?x, ?y) ∧ legal obligation(?y)

Answer: implies(?x, ?y) ∧ legal obligation(?y)