[…] an operation, call it "Satisfy", which selects an array of items from the lexicon and presents it in a format satisfying the condition of X-bar theory. Satisfy is a "all-at-once" operation: all items that function at LF are drawn from the lexicon before computation proceeds and are presented in the X-bar format. - Chomsky (1995), a pag.187