@prefix : <#> .
@prefix earl: <http://www.w3.org/2001/03/earl/0.95#> .
@prefix wcagearl: <http://www.w3.org/2001/03/earl/wcag#> .
@prefix wcag: <http://www.w3.org/TR/WCAG10/#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

{ { :TestCase earl:testCriteria 
         [ earl:suite <http://www.w3.org/TR/WCAG10/>; 
           earl:level <http://www.w3.org/TR/WCAG10/#wc-priority-1> ] .
  :x wcagearl:priority <http://www.w3.org/TR/WCAG10/#wc-priority-1> }
log:implies
{ :TestCase earl:id :x } } a log:Truth; log:forAll :TestCase, :x .

{ { :TestCase earl:testCriteria 
         [ earl:suite <http://www.w3.org/TR/WCAG10/>; 
           earl:level <http://www.w3.org/TR/WCAG10/#wc-priority-2> ] .
  :x wcagearl:priority <http://www.w3.org/TR/WCAG10/#wc-priority-2> }
log:implies
{ :TestCase earl:id :x } } a log:Truth; log:forAll :TestCase, :x .

{ { :TestCase earl:testCriteria 
         [ earl:suite <http://www.w3.org/TR/WCAG10/>; 
           earl:level <http://www.w3.org/TR/WCAG10/#wc-priority-3> ] .
  :x wcagearl:priority <http://www.w3.org/TR/WCAG10/#wc-priority-3> }
log:implies
{ :TestCase earl:id :x } } a log:Truth; log:forAll :TestCase, :x .