# Test filter in N3
# Use
# cwm rules12.n3 -think -filter=filter12.n3
# should conclude that granpa is ancestor of bill
#
@prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
@prefix : <#> .
@prefix rules: <#> .
# SimplifiedDanC challenge - simplied version of rules13.n3
this log:forAll <#p> .
{ <#p> a daml:TransitiveProperty . } log:implies
{
{ <#x> <#p> <#y>. <#y> <#p> <#z>. } log:implies { <#x> <#p> <#z>. }.
this log:forAll <#x> , <#y> , <#z>.
} .
<#ancestor> a daml:TransitiveProperty .
<#granpa> <#ancestor> <#pa> .
<#pa> <#ancestor> <#bill> .