#
#   Notation 3 variables
#
@prefix logically: <http://www.example.org/logic#> .
@prefix : <#> .

#  not current syntax   -sandro
#{  ?a :child ?b. }  logically:implies { ?b :parent ?b . }  .

# ends