PanLinx
русский
rus-000
операция логического вывода
English
eng-000
inference operation
PanLex
