When document D is the definitiveDocument for property P,
any statement X P Y is true iff and only if the semantics of document D
include that statement.
For example, there may be a definitive document for the zipcode of
airports by airport code, and so on. This is useful to let a reasoner
know that it can extend its query to the given document.
(Cwm will do this if its mode includes "r").