#    Test filter in N3
# Use
# cwm rules12.n3 -think -filter=filter12.n3
#  should conclude that  granpa is ancestor of bill
# 
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
@prefix t: <http://www.test.foo/#> .
@prefix rules: <http://www.rules.test.com/#> .

# SimplifiedDanC challenge  - simplied version of rules13.n3

this log:forAll t:p, t:x , t:y , t:z .

{  t:p a daml:TransitiveProperty . } log:implies

{
    { t:x t:p t:y. t:y t:p t:z. } log:implies { t:x t:p t:z. }.
    #this log:forAll t:x , t:y , t:z.
} .


t:ancestor  a daml:TransitiveProperty .
t:granpa t:ancestor t:pa .
t:pa t:ancestor t:bill .