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

<> a ck:Check;
    ck:amount 5.00;
    ck:payee "Fred";
    ck:account my:account;
    ck:number "0001".
