PanLinx
русский
rus-000
логический квантор
English
eng-000
logical quantifier
PanLex
