Add section on lexical semantics