Document(

     Prefix(ex  <http://example.org/example#>)
     Prefix(rdf <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
     Import(<http://www.w3.org/2005/rules/test/repository/tc/RDF_Combination_Blank_Node/RDF_Combination_Blank_Node-import001> <http://www.w3.org/ns/entailment/RDF>)

     Group (
        Forall ?x ?y ( ?x[rdf:type -> ex:named] :- ?x[ex:hasName -> ?y] )
        
     )
 )