# PxButton | test | java Euler http://www.agfa.com/w3c/n3/p8e.n3 > p9.n3 |

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

( <http://www.agfa.com/w3c/n3/p7.nt>
  <http://www.agfa.com/w3c/n3/p7s.nt>
  <http://www.w3.org/2000/01/rdf-schema>
  <http://www.w3.org/2002/rdf-datatyping> )
  log:entails
  <http://www.agfa.com/w3c/n3/p8.nt> .