PanLinx
hrvatski
hrv-000
propozicijski
English
eng-000
propositional
PanLex
