PanLinx
English
eng-000
hereditary extensionality
русский
rus-000
наследственная экстенсиональность
PanLex
