PanLinx
русский
rus-000
ковариантное обобщение
English
eng-000
covariant generalization
PanLex