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

Suppose an individual ?x satisfies: return swap(?x). Which composite conclusion is inferred?

A. has funding leg(?x, ?y) ∧ swap lifecycle event identifier(?y)
B. fixed payment leg(?y) ∧ has funding leg(?x, ?y)
C. has funding leg(?x, ?y) ∧ rate-based leg(?y)
D. fixed payment leg(?y) ∧ has return leg(?x, ?y)

Answer: fixed payment leg(?y) ∧ has funding leg(?x, ?y)