Метод, в основе которого лежат модели фраз и предложений,
символически выражаемые через формулу, называется...