PanLinx
português
por-000
derivabilidade
English
eng-000
entailment
PanLex