PanLinx
English
eng-000
Modus Ponens
Esperanto
epo-000
elimplikaciigo
PanLex