PanLinx
русский
rus-000
дедуктивно полный
English
eng-000
deductively complete
PanLex
