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

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