# 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 can operate with anonymous nodes:
#
#  Someone whose mother is audrey knows someone whose sister is Betsy
#

{{ :foo :bar [:baz :bam] } log:includes { :foo :bar [:baz :bam] }}  log:implies { :test6 a :success }.
 
#{{ [ :mother :Audrey ] :knows [ :sister :Betsy ]. :foo :bar :baz. }
#  log:includes {[:mother :Audrey]:knows[:sister :Betsy]}}
#               log:implies{:testf_1 a :success} .
# { <#_formula> log:notIncludes {[:mother :Audrey]:knows[:sister :Betsy]}}log:implies{testf_2 a :FAILURE} .

# log:includes a log:Chaff.
  
#ends




