# Test the log:includes function

@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix s: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix daml:  <http://www.daml.org/2000/10/daml-ont#> .
@prefix dpo:  <http://www.daml.org/2001/03/daml+oil#> .
@prefix ex:   <http://www.daml.org/2000/10/daml-ex#> .
@prefix log:  <http://www.w3.org/2000/10/swap/log#> .

@prefix : <#>.  # Local stuff

# Usage:   cwm includes.n3 -think
#
# Output should conclude all test* a :success and no failures.
#


# Test we still can pick out explict statements which do NOT need the builtin:
#  also, test string recognition .. needs string interning.
                     
<theBible> log:includes {<God> :said "Let there be light" }.

{<theBible> log:includes{<God> :said "Let there be light"}}log:implies{:teste_1 a :success}.
{<theBible> log:notIncludes{<God> :said "Let there be light"}}log:implies{:teste_2 a :FAILURE}.

#ends