Программа семантической классификации лексики – ПроСеКа: теоретические и прикладные аспектыстатья