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

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

A. general obligation municipal bond(?x, ?y)
B. has extraordinary redemption provision(?x, ?y)
C. municipal debt remarketing agent(?x, ?y)
D. not has extraordinary redemption provision(?x, ?y)

Answer: has extraordinary redemption provision(?x, ?y)