: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.