Instead of adopting the derivational paradigm of transformational grammar and generative semantics, which tries to determine the well-formedness of sentences, W. proposes a 'preference semantics', i.e. a set of formal procedures for representing the meaning structure of natural language with a view to embodying that structure within a system that can be said to understand.