PanLinx
English
eng-000
nonvacuous occurrence
русский
rus-000
невырожденное вхождение
PanLex
