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

Suppose an individual ?x satisfies: notional step change event(?x). Which composite conclusion is inferred?

A. notional step amount(?y) ∧ specifies(?x, ?y)
B. interest rate swap leg(?y) ∧ specifies(?x, ?y)
C. has first notional step date(?x, ?y) ∧ notional step amount(?y)
D. plain vanilla interest rate swap(?y) ∧ specifies(?x, ?y)

Answer: notional step amount(?y) ∧ specifies(?x, ?y)