# formulae-05.n3 - Nested formulae

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

@forAll s, p, o .

{ <http://example.org/path>!log:semantics 
     log:includes { s p o } } => { s p o } .

# @@ check negative case where "." is used