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