Без заголовка

А какая разница, явно или неявно заданы правила? Прогресс-то должен быть или в увеличении качества решаемой задачи, или в лёгкости последующего увеличения этого качества. Если есть правила A->Б и А->B, то можно и правила Б->В построить. И есть ещё такой момент, что действовать они будут на том подмножестве языков Б и В, которое есть в А.