PanLinx
русский
rus-000
всюду определенный предикат
English
eng-000
total predicate
PanLex