PanLinx
English
eng-000
dual semiordering
русский
rus-000
двойственное полуупорядочение
PanLex
