PanLinx
English
eng-000
strong inference
русский
rus-000
строгое умозаключение
PanLex