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