Anglais ⇄ Langues chinoises Lituanien Russe +

derived rule contraintes
logiq.	производное правило
math.	выводимое правило (ssn); выведенное правило; производное правило (выводимое)

derived rules : 23 phrases, 5 sujets

Intelligence artificielle	1
Makarov	1
Philosophie	2
Programmation	5
Recherche et développement	14