О списке свойств с условием финитарной реализуемости

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