% Examples of representing Regulation W (RegW) about who's an affiliate co.
% of a bank, in Rulelog, i.e., as higher order logic (HOL) formulas
% by Benjamin Grosof
% presented 6/4/2013 at FIBO Summit, held at SemTechBiz SF

• Any company that is controlled by a company that controls the bank;

?x1(is(an(affiliate(of(?x2))))) 
<== company(?x1) and bank(?x2) and company(?x3) and 
    ?x1(is(controlled(by(?x3)))) and ?x2(is(controlled(by(?x3)))).

• An insured depository institution[See Footnote2] that is a subsidiary of the bank;
Footnote 2 -- An insured depository institution includes an operating subsidiary of the institution. 
Uninsured depository institution subsidiaries generally are excluded from the definition 
of an affiliate.[End of Footnote 2]

?x1(is(an(affiliate(of(?x2))))) 
<== company(?x1) and bank(?x2) and 
    ?x1(is(an(insured(depository(institution))))) and 
    ?x1(is(a(subsidiary(of(?x2))))).

?x3(is(an(affiliate(of(?x2)))))  
<== company(?x1) and bank(?x2) and 
    ?x1(is(an(insured(depository(institution))))) and 
    ?x1(is(a(subsidiary(of(?x2))))) and 
    ?x3(is(an(operating(subsidiary(of(?x1)))))).

NEG ?x1(is(an(affiliate(of(?x2))))) 
  <== company(?x1) and bank(?x2) and 
      ?x1(is(an(UNinsured(depository(institution))))) 
      and ?x1(is(a(subsidiary(of(?x2))))).

• A financial subsidiary[See Footnote3] of the bank;
Footnote 3 -- See “Special Rules and Exemptions under Regulation W – Special Rules 
for Financial Subsidiaries” for exemptions from the definition of financial subsidiary.

Obs.:  exemptions may need defeasibility to represent the exceptions