Linear Logical Transformations is in the Semantic Marking Problem of Text - I. D. Vechirskaja; G. G. Chetverikov (Artificial intelligence, 2013)