More log:definitiveDocument


:capitalCities log:definitiveDocument 
         <http://example.org/listOfAllCapitalCities>.

also says that all true statements using :capitalCities are made in that document.

We could use this to query "what states are NOT adjacent to MA", which requires knowing our adjacency knowledge is complete.