| русский | rus-000 |
| правило вывода | |
| English | eng-000 | deduction rule |
| English | eng-000 | derivation rule |
| English | eng-000 | production |
| English | eng-000 | production rule |
| English | eng-000 | rewrite rule |
| English | eng-000 | rule of derivation |
| English | eng-000 | rule of inference |