# formulae-03.n3 - Test of forAll

@prefix : <http://example.org/#> .
@keywords a .

@forAll p, r .

{ p father [ father r ] } 
   => { p grandfather r } .