semantic-formal language

Формально-семантический язык

Источник: Полный англо-русский словарь на Gufo.me