PanLinx
English
eng-000
propositional functor
PanLex