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

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

A. uninsured federal branch of foreign banking organization(?x)
B. federal branch of foreign banking organization(?x)
C. foreign banking organization as a bank holding company(?x)
D. savings association(?x)

Answer: savings association(?x)