PanLinx
français
fra-000
fermeture transitive
English
eng-000
transitive closure
PanLex