PanLinx
English
eng-000
deduction rule
hrvatski
hrv-000
pravilo zaključivanja
русский
rus-000
правило вывода
PanLex
