PanLinx
English
eng-000
deducible rule
čeština
ces-000
odvozovací pravidlo
русский
rus-000
выводимое правило
PanLex
