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