PanLinx
English
eng-000
reduced logic
русский
rus-000
приведенная логика
PanLex
