The reasoning/proof/static analysis should abstract away all semantic properties irrelevant to the reasoning. | Рассуждение, доказательство или статический анализ должен абстрагироваться от всех семантических свойств, не имеющих отношение к аргументации. |
The same reasoning applies to the civilian objects referred to in article 52. Here an interpretative declaration was made with the aim of removing any ambiguity. | Идентичное рассуждение касается и гражданского имущества, рассматриваемого в статье 52, в связи с которой интерпретационное заявление попыталось снять всякую двусмысленность. |