Document(

     Prefix(ex  <http://example.org/example#>)
     Import(<http://www.w3.org/2005/rules/test/repository/tc/RDF_Combination_Member_1/RDF_Combination_Member_1-import001> <http://www.w3.org/ns/entailment/Simple>)

     Group
     (
        ex:A ## ex:B
        ex:k # ex:A
     )
  )