PanLinx
русский
rus-000
мультиассерторическая система
English
eng-000
multiassertional system
PanLex