anchor.diff:  ....
   2.  Labels
   +
  -If there is GRAPH clause being applied, we retrieve a list of labels using a query described in Listing
  -<<query_for_labels_of_classes_on_a_graph, 9>>.
  +We retrieve a list of labels using a query described in Listing
  +<<query_for_labels_of_classes_on_a_graph, 9>> if there is GRAPH clause being applied;
  +otherwise Listing
  +<<query_for_labels_of_classes_on_background_graph, 10>>.
   +
   [[query_for_labels_of_classes_on_a_graph]]
   .Listing 9. Obtain labels of the classes c1 c2 ... cn from a graph g
  
positive.code: statement of which property is owl:sameAs or rdfs:seeAlso, the endpoint
  is satisfied with the rule. If there is GRAPH clause being applied, we check the feasibility of the rule by
  using queries described in Listing <<query_for_same_as_on_a_graph, 19>>,
  <<query_for_see_also_on_a_graph, 20>>.
  +
  [[query_for_same_as_on_a_graph]]
  .Listing 19. A Query for a Same AS Statement on a graph g
  
negative.code: ....
  4.  Properties
  +
  We retrieve a list of properties using a query described in Listing
  <<query_for_properties_on_a_graph, 13>> if there is GRAPH clause being applied;
  otherwise Listing
  <<query_for_properties_on_background_graph, 14>>.
  +
  [[query_for_properties_on_a_graph]]
  .Listing 13. Obtain the properties on a graph g
  