# This mostly finds bugs in cwm. It doesn't
# really work.
@prefix test: .
@prefix log: .
@prefix : .
@prefix rt: .
@forAll :T, :IN, :EXPECTED, :F, :G.
{ <../../rdf-tests/rdfcore/Manifest.rdf> log:semantics [ log:includes {
:T a test:PositiveParserTest; test:status "APPROVED";
test:inputDocument :IN;
test:outputDocument :EXPECTED
} ].
} log:implies { :T :in :IN; :expected :EXPECTED. }.
{ :T :in :IN; :expected :EXPECTED.
:IN log:semanticsOrError :F.
:F log:rawType log:Literal.
} log:implies {
:cwm :failsParsingInput :T.
}.
{ :T :in :IN; :expected :EXPECTED.
:IN log:semanticsOrError :F.
:F log:rawType log:Formula.
:EXPECTED log:semanticsOrError :G.
:G log:rawType log:Formula.
} log:implies {
:T :inF :F; :expectedF :G.
}.
{ :T :inF :F; :expectedF :F. :F log:includes :G. :G log:includes :F.
} log:implies { :cwm :passes :T. }.
{ :T :inF :F; :expectedF :G. :F log:notIncludes :G.} log:implies {
:cwm :failsIf :T.}.
{ :T :inF :F; :expectedF :G. :G log:notIncludes :F. } log:implies {
:cwm :failsOnlyIf :T. }.
# $Log: rdfcore.n3,v $
# Revision 1.2 2004/06/25 01:26:59 timbl
# The @forAll form is now the primary form used by cwm, not this log:forAll.
# Supporess withh --n3=v
# --reify and --dereify introduced, not supported by tests yet.
# See doc/changes.html
#
# Revision 1.1 2003/02/03 15:52:27 connolly
# does not really work, but I want to archive it anyway
#