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