Бинарные формулы в счётно категоричных слабо циклически минимальных структурах

Исследуются счётно категоричные слабо циклически минимальные структуры, не являющиеся $1$-транзитивными. Даётся характеризация поведения бинарных формул, действующих во множестве реализаций неалгебраического $1$-типа, а на её основе – полное описание счётно категоричных не $1$-транзитивных слабо циклически минимальных $n$-выпуклых ($n>1$) почти бинарных теорий ранга выпуклости $1$.