PREFIX my: <http://josd.github.io/eye/reasoning/ppt-bank/acct3#>
PREFIX ck: <http://josd.github.io/eye/reasoning/ppt-bank/checking#>
PREFIX bk: <http://josd.github.io/eye/reasoning/ppt-bank/banking#>

my:account a ck:Account;
    bk:statements (<acct3start.n3>);
    bk:transactions (<acct3check1.n3> <acct3check2.n3>).
