Подмости инвентарно-шарнирные без настила

Представляется логичным что исчисление предикатов раскладывает на элементы примитивный мир.