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