Text this: Стратегия установления выводимости формул в структурных функциональных моделях