anchor.diff:  +
   We assume all subjects of statements are things. We search invalid
   statement using a query described in Listing
  -<<non_http_uri_subject, 11>>, and if nothing is found the endpoint
  +<<non_http_uri_subject, 10>>, and if nothing is found the endpoint
   satisfied this rule.
   +
   Note that we ignore Virtuoso specific graphs since Virtuoso contains a
   graph which contains invalid statements.
   +
   [[non_http_uri_subject]]
  -.Listing 11. A Query for searching non-HTTP-URI subjects
  +.Listing 10. A Query for searching non-HTTP-URI subjects
   ....
   SELECT
     *
  
positive.code: ....
  +
  [[query_for_see_also]]
  .Listing 14. A Query for a See Also Statement
  ....
  PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
  SELECT
  
negative.code: vocabularies owl:sameAs or rdfs:seeAlso. We think if there are any
  statement of which property is owl:sameAs or rdfs:seeAlso, the endpoint
  is satisfied with the rule. Thus we check the feasibility of the rule by
  using queries described in Listing <<query_for_same_as, 12>>,
  <<query_for_see_also, 13>>.
  +
  [[query_for_same_as]]
  .Listing 12. A Query for a Same AS Statement
  ....
  PREFIX owl:<http://www.w3.org/2002/07/owl#>
  SELECT
  