// Bank structure:

import java.lang.*;
import java.io.*;
import edu.neu.ccs.demeter.dj.*;
import java.util.*;

Bank = List(BusinessUnit).
BusinessUnit = Index Country Location List(Party).

Party : Individual | CorporateBody common Agreement PartyId.

Individual = "individual" FirstName LastName <birthdate> Date.
CorporateBody = "corporate" CompanyName Rating.
Agreement = List(Contract) List(Agr_Rule) <statement_ending> Day.

FirstName = String.
LastName = String.
CompanyName = String.
PartyId = <partyId> int.

Rating : C0 | C1 | C9 | D0 | D1 | D3 | D4.

Contract = Index Location <portfolios> List(Portfolio).
Agr_Rule = Rule Description.
Rule = <rule> boolean.
Portfolio = Index Description <accounts> List(Account).

Account  = <postings> List(Posting) AccountID AccountType [Agreement].
Posting : Credit | Debit common Amount Date.

AccountID = <account_id> int.
Amount = <amount> int.
Credit = "credit".
Debit = "debit".
AccountType : Savings | Checking | Overdraft | CD | Loan.
Savings = "savings".
Checking = "checking".
Overdraft = "overdraft".
CD = "cd".
Loan = "loan".
Description = String.

Index = <index> int.
Location = String.
Country = String.
Date = Month Day Year.
Month = <month> int.
Day = <day> int.
Year = <year> int.


C0 = "c0".
C1 = "c1".
C9 = "c9".
D0 = "d0".
D1 = "d1".
D3 = "d3".
D4 = "d4".

List(S) ~ "(" {S} ")".

Main = <s> String.