PanLinx
русский
rus-000
пропозициональный оператор
English
eng-000
propositional operator
PanLex