Большой англо-русский словарь (с транскрипциями) PREDICATE interpretation мат. предикатная интерпретация