@prefix my: <https://eyereasoner.github.io/eye/reasoning/ppt-bank/acct3#>.
@prefix ck: <https://eyereasoner.github.io/eye/reasoning/ppt-bank/checking#>.

<> a ck:Check;
    ck:amount 3.00;
    ck:payee "Fred";
    ck:account my:account;
    ck:number "0002".
