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

my:account a ck:Account;
    ck:balance 10.00.
