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