При формальном исследовании сложных текстов, каким понятием замещают понятие «простые высказывания»?