# formulae-02.n3 - Transitive rule formulae test

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

{ ?p father ?q . ?q father ?r } => { ?p grandfather ?r } .