# Test the string built-ins 

@prefix log:  <http://www.w3.org/2000/10/swap/log#> .
@prefix string:  <http://www.w3.org/2000/10/swap/string#>.

@prefix : <#>.  # Local stuff

# Usage:   cwm includes.n3 -think
#
# Output should conclude all test* a :success and no failures.
#

{  "abc" string:greaterThan "aaa" } log:implies { :testh1 a :success }.
{  "abc" string:greaterThan "abc" } log:implies { :testh_1 a :FAILURE }.
{  "aaa" string:greaterThan "abc" } log:implies { :testh_2 a :FAILURE }.

{  "abc" string:notGreaterThan "aaa" } log:implies { :testh_3 a :FAILURE }.
{  "abc" string:notGreaterThan "abc" } log:implies { :testh2 a :success }.
{  "aaa" string:notGreaterThan "abc" } log:implies { :testh3 a :success }.


{  "abc" string:lessThan "aaa" } log:implies { :testh_4 a :FAILURE }.
{  "abc" string:lessThan "abc" } log:implies { :testh_5 a :FAILURE }.
{  "aaa" string:lessThan "abc" } log:implies { :testh4 a :success }.

{  "abc" string:notLessThan "aaa" } log:implies { :testh5 a :success }.
{  "abc" string:notLessThan "abc" } log:implies { :testh6 a :success }.
{  "aaa" string:notLessThan "abc" } log:implies { :testh_6 a :FAILURE }.

{ "abc" string:startsWith "a" } log:implies { :testh7 a :success }.
{ "def" string:startsWith "def" } log:implies { :testh8 a :success }.
{ "a" string:startsWith "abc" } log:implies { :testh_7 a :FAILURE }.

# ends


