PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX list: <http://www.w3.org/2000/10/swap/list#>
PREFIX ccd: <http://josd.github.io/eye/reasoning/ccd#>
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>

(:input1 "abc") ccd:model (:output1 2 3).
(:input1 "xyz") ccd:model (:output1 2 1).
(:input2 40) ccd:model (:output1 3 0).
(:input2 60) ccd:model (:output1 2 4).
(:input3 (0 1)) ccd:model (:output1 2 2).
(:input3 (2 3)) ccd:model (:output1 1 3).
(:input4 :v1) ccd:model (:output1 2 0).
(:input4 :v2) ccd:model (:output1 1 1).
(:input4 :v4) ccd:model (:output1 1 1).
(:input4 :v3) ccd:model (:output1 1 2).
(:input5 "b") ccd:model (:output1 2 0).
(:input5 "c") ccd:model (:output1 0 3).
(:input5 "a") ccd:model (:output1 1 1).
(:input10 ("abc" 40)) ccd:model (:output1 1 0).
(:input10 ("xyz" 60)) ccd:model (:output1 1 1).
(:input10 ("abc" 60)) ccd:model (:output1 1 2).
(:input10 ("xyz" 40)) ccd:model (:output1 1 0).

