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

Suppose an individual ?x satisfies: mortgage indemnity guarantee(?x). Which composite conclusion is inferred?

A. is guaranteed by(?x, ?y) ∧ mortgage indemnity guarantor(?y)
B. assumes(?x, ?y) ∧ mortgage indemnity guarantor(?y)
C. government-sponsored loan(?y) ∧ is guaranteed by(?x, ?y)
D. automated underwriting system(?y) ∧ is guaranteed by(?x, ?y)

Answer: is guaranteed by(?x, ?y) ∧ mortgage indemnity guarantor(?y)