#  n3
#
#  Find unclassified transactions in the file whose name is argv(1)
#
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix string: <http://www.w3.org/2000/10/swap/string#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix q:  <http://www.w3.org/2000/10/swap/pim/qif#>.

@prefix os: <http://www.w3.org/2000/10/swap/os#>.
@prefix tax:  <http://www.w3.org/2000/10/swap/pim/tax.n3#>.    #@@

#
@prefix : <foo#>.
@prefix foo: <foo#>.

@forAll :a, :d, :p, :t, :x, :y, :z.


{   [is log:semantics of [ log:uri [is os:baseAbsolute of [is os:argv of "1" ]]]]
        log:includes { :t q:payee :p; q:amount :x; q:date :d; q:toAccount :a};
        log:notIncludes { :t a q:Classified}.  # tax:Classified
} log:implies {
    :t a q:Unclassified; q:payee :p; q:amount :x; q:date :d; q:toAccount :a.
}.

{:t a q:Unclassified; q:amount [math:lessThan "0"]}
=> { :t a q:UnclassifiedOutgoing }.

{:t a q:Unclassified; q:amount [math:notLessThan "0"]}
=> { :t a q:UnclassifiedIncome }.

#ends