PanLinx
русский
rus-000
формальная семантика
English
eng-000
formal semantics
PanLex