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

Suppose an individual ?x satisfies: formal offer(?x). Which conclusion is one valid inferred conclusion?

A. put redemption action(?x)
B. change of security trading status event(?x)
C. maturity extension(?x)
D. voluntary corporate action(?x)

Answer: voluntary corporate action(?x)