PanLinx
русский
rus-000
транзитивное замыкание
English
eng-000
transitive closure
PanLex