PanLinx
русский
rus-000
дедуктивно замкнутый
English
eng-000
deductively closed
PanLex