Untitled

Pursuant to Clause 1 Article 108 of the Law on Credit Institutions 2010, the following regulations apply to banking activities of finance companies 1 : a) Receive deposits from organizations; b) Issue deposit certificates, promissory notes, treasury bills and bonds to raise funds from organizations, c) Take loans from credit institutions, domestic and foreign financial institutions as per the law; borrow from the State Bank in the form of refinancing as per Law on State Bank of Vietnam; d) Provide loans, including installment loans and consumer loans; dd) Bank guarantees; e) Discounts, rediscounts of negotiable instruments and other valuable papers; g) Issue credit cards, factoring, finance lease and other forms of credit extension upon the State bank's approval.###
###
Predicates:
ReceiveDeposits(x): x receives deposits from organizations.
IssueCertificates(x): x issues deposit certificates, promissory notes, treasury bills and bonds to raise funds.
TakeLoans(x): x takes loans from credit institutions, domestic and foreign financial institutions as per the law; borrow from the State Bank in the form of refinancing as per Law on State Bank of Vietnam.
ProvideLoans(x): x provides loans, including installment loans and consumer loans.
BankGuarantees(x): x is involved in bank guarantees.
DiscountRediscounts(x): x discounts or rediscounts negotiable instruments and other valuable papers.
IssueCreditCards(x): x issues credit cards, factoring, finance lease and other forms of credit extension.
ApprovedByStateBank(x): x has the State bank's approval.
FinanceCompany(x): x is a finance company.
StateBank(x): x is the State Bank.
Organizations(x): x is an organization.
LawOnCreditInstitutions(x): x is in compliance with Law on Credit Institutions 2010.

Premises:
∀x (FinanceCompany(x) → (ReceiveDeposits(x) ∨ IssueCertificates(x)))
∀x ((TakeLoans(x) ∧ LawOnCreditInstitutions(x)) → ApprovedByStateBank(x))
∀x (FinanceCompany(x) → ProvideLoans(x))
∀x (FinanceCompany(x) → BankGuarantees(x))
∀x ((DiscountRediscounts(x) ∧ FinanceCompany(x)) → LawOnCreditInstitutions(x))
∀x ((IssueCreditCards(x) ∧ FinanceCompany(x)) → ApprovedByStateBank(x))