Результатом формализации является (20/37)

Результатом формализации является