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