# Test whether a schema mentions the predicates used in this data
#  This involves searching in files for statements being present or absent.
 
@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 os:  <http://www.w3.org/2000/10/swap/os#> .

@prefix : <check.n3#>.  # Local stuff

@prefix check: <check.n3#>.  # Local stuff

# Usage:   TARGET=myfile.n3 cwm check.n3 -think -purge
#
# Output should not incldue any error messages.
#

@forAll :d, :o, :p, :s, :S, :s1, :x, :y, :F, :G, :H.

{ <check.n3> log:semantics :F } log:implies { :F a log:Truth }.  # import rules

<t8.n3> a check:targetDocument.

<check.n3> a check:targetDocument.

<check-all.n3> a check:targetDocument.

#################################
#
#  We don't currently pick up facts from imported log:Truth's
#
log:Chaff is rdf:type of
    log:forAll,
    log:implies,   #  Clear out rules on -purge
    :within, :schemaFormula, :schema, :declaredInDirectSchema,
    :predicateSemanticsOrError, :semanticsOK,
#    :targetDocument,
    :usedAsPropertyIn.
 
#ends