. . . "definitive document" . "\tWhen document D is the definitiveDocument for property P,\nany statement X P Y is true iff and only if the semantics of document D\ninclude that statement.\n\nFor example, there may be a definitive document for the zipcode of\nairports by airport code, and so on. This is useful to let a reasoner\nknow that it can extend its query to the given document.\n(Cwm will do this if its mode includes \"r\").\n" .