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

@prefix foo: <#>.  # Local stuff

# Usage:   cwm argv.n3 --think --with foo bar baz
#
# Output should conclude all test* a :success and no failures.
#


{ 1 os:argv ?x } log:implies { :test_param_1 :is ?x }.

{ "1" os:argv "foo"} log:implies { :test1 a :sucess }.
{ "1" os:argv "foot"} log:implies { :test1b a :FAILURE }.
{ "1" os:argv [ log:notEqualTo "foo"] } log:implies { :test1c a :FAILURE }.
{ 2 os:argv "bar"} log:implies { :test2 a :sucess }.
{ "3" os:argv "baz"} log:implies { :test3 a :sucess }.
{ 4 os:argv ?x} log:implies { :test3 a :FAILURE }.
{ "THIS is not a valid number" os:argv ?x } log:implies { :test4 a :FAILURE }.

#ends
