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

Suppose an individual ?x satisfies: long mini-future certificate(?x). Which conclusion is one valid inferred conclusion?

A. short mini-future certificate(?x)
B. mini-future certificate(?x)
C. purchase right(?x)
D. equity derivative(?x)

Answer: mini-future certificate(?x)