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

Suppose an individual ?x satisfies: trade lifecycle(?x). Which composite conclusion is inferred?

A. has stage(?x, ?y) ∧ trade lifecycle stage(?y)
B. has stage(?x, ?y) ∧ trade lifecycle event(?y)
C. is offering of(?x, ?y) ∧ trade lifecycle stage(?y)
D. has stage(?x, ?y) ∧ product lifecycle stage(?y)

Answer: has stage(?x, ?y) ∧ trade lifecycle stage(?y)