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").