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