semantic entailment

Семантическое воплощение (содержательное толкование выводов, полученных формально-логическим путем)