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