PanLinx
русский
rus-000
выводимое правило
English
eng-000
deducible rule
PanLex