Построены экзистенциально замкнутые компаньоны, имеющие счeтное или конечное число различных пополнений, одно из которых является форсинг-теорией. Во всех построенных примерах имеется лишь по одной форсинг-модели. Для достаточно строгих текстов, таких как юридические законы, разработан алгоритм автоматического преобразования текстов в семантико-синтаксический формализм логического программирования.