PanLinx
русский
rus-000
исходная пропозициональная постоянная
English
eng-000
primitive propositional constant
PanLex