PanLinx
Lingua Franca Nova
lfn-000
teorem
English
eng-000
theorem
PanLex
