Definiteness is an operator that referring to discourse and pragmatic situations. In a nutshell definiteness is a referent whose existence is commonly understood to both the speaker and the addressee.

First note that the quantifier c-commands BOOK. Short C-command of this sort is called government. Government differs from c-command in that a node can be governed by only one governor, where as a ...