package untitled
context CentralHost def:
 transactionsTable:Sequence(TupleType(
  accountNumber:Integer, date:Integer, amount:Integer)) =
   accounts->collect(acc:Account |
     acc.transactions->collect(trans:WithDrawn |
       Tuple{accountNumber:Integer = acc.accountNumber, 
             date:Integer = trans.date, amount:Integer = trans.amount}))->asSequence()
endpackage