# Author: sbp
# $Id: math-test-bit.n3,v 1.1 2005/08/22 21:12:54 timbl Exp $
@prefix : <#> .
@prefix log: .
@prefix math: .
@prefix string: .
# @@@@ won't work with --why:
#
# @forAll :x.
#
# { :x is math:sum of (3 (8 3)!math:difference ) } => { :x :valueOf "3 + (8 - 3)" } .
# This should be the same problem without having to use --why :-
#
# Ok, its tricky, but the poit is that it contains bnodes in lists in subformulae.
# The canonicalizion and unification doesn't cope.
#
#{
# {
# @forAll :x.
# { :x is math:sum of (3 (8 3)!math:difference ) } => { :x :valueOf "3 + (8 - 3)" } .
# } log:includes
# {
# @forAll :x.
# { :x is math:sum of (3 (8 3)!math:difference ) } => { :x :valueOf "3 + (8 - 3)" } .
# }
#} => { :Test2 a :SUCCESS }.
# is this a simpler form?
{
{
@forAll :x.
{ :x is math:sum of (3 [ :foo :bar ]) } => { } .
} log:includes
{
@forAll :x.
{ :x is math:sum of (3 [ :foo :bar ]) } => { } .
}
} => { :Test3 a :SUCCESS }.
#ends