# $Id: vogel.l.n3 test

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

<#gevonden> a :roofvogel.
<#gevonden> :vlucht "fladderend".

{{:vogel a "torenvalk"} log:implies
{:vogel :kleur "bruin"}} a log:Truth; log:forAll :vogel.
{{:vogel a :roofvogel.
   :vogel :vlucht "fladderend"} log:implies
 {:vogel a "torenvalk" }} a log:Truth; log:forAll :vogel.