# Test for built-in functions in cwm:  os baseRealtive baseAbsolute
 
@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
@keywords a, is, of.

@prefix foo: <#>.  # Local stuff

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


@forAll :x.

{   "foo.html"  os:baseAbsolute ?u.
     ?u  os:baseRelative "foo.html"  } => { test1 a Success }.

{ <foo.html>!log:uri   os:baseRelative ?x } =>  { ?x shouldBe "foo.html" }.

#ends