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

Suppose an individual ?x satisfies: real property(?x). Which composite conclusion is inferred?

A. dwelling capacity(?y) ∧ is classified by(?x, ?y)
B. is classified by(?x, ?y) ∧ mortgage loan purpose(?y)
C. dwelling capacity(?y) ∧ is lien on(?x, ?y)
D. is classified by(?x, ?y) ∧ loan secured by real estate(?y)

Answer: dwelling capacity(?y) ∧ is classified by(?x, ?y)