PanLinx
English
eng-000
assertional database
русский
rus-000
база утверждений
PanLex