PanLinx
English
eng-000
inferential mechanism
русский
rus-000
механизм логического вывода
PanLex
