# test the handling os lists which are in the store
#
# use with --think

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

@forAll :x, :y.


# Cause llyn to search the store for a list:

( <a> ( <b> 17 <c> ) <d> ) a :TestCase.


{   ( <a> ( <b> ?x <c> ) <d> ) a :TestCase}  => { ?x a :RESULT }.

 { 17 a :RESULT } => { :THIS_TEST a :SUCCESS }.

#