Let's say, for example, that we have a knowledge base Then we can combine instances of the trees for "John", "pushes", and "the button" into a grammatically complete derivation.
because both b 1 and b 2 satisfy the semantic content of "the button", we must adjoin "red" into the derivation to make the RE refer uniquely to b 1 .