#    Test filter in N3
#
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix rules: <rules12.n3#> .

# DanC challenge - see rules12.n3

@forAll <#x> , <#y> , <#z>.

{ <#x> rules:ancestor <#y> . } log:implies { <#x> rules:ancestor <#y> .}.