PanLinx
English
eng-000
deductive rule
русский
rus-000
дедуктивное правило
PanLex