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