# 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 : <foo#>.  # Local stuff
@prefix foo: <foo#>.  # Local stuff

# Usage:   cwm includes/t7.n3 -think
#
# Output should conclude all test* a :success and no failures.
#  This used to make a self-reference which was not allowed.

#@forAll :x.
    	{ @forAll :y.  :x :loves  :y } log:implies
	{  { @forSome :z. :x :hates :z } a log:falsehood }.

#this :is :doc.
# Now a positive test:

{ [is log:semantics of <>] log:includes
    { # @forAll :x.
    		{ @forAll :y.  :x :loves  :y } log:implies 
		{ { @forSome :z. :x :hates :z } a log:falsehood }.
    }
} log:implies { :testg_1 a :success }.

# Now a negative test:

{ [is log:semantics of <>] log:notIncludes
    {# @forAll :x.
    		{ @forAll :y.  :x :loves  :y } log:implies 
		{ { @forSome :z. :x :hates :z } a log:falsehood }.
    }
} log:implies { :testg_1 a :FAILURE }.