The reasoning/proof/static analysis should abstract away all semantic properties irrelevant to the reasoning.
Рассуждение, доказательство или статический анализ должен абстрагироваться от всех семантических свойств, не имеющих отношение к аргументации.