גרמנית ⇄ אנגלית +

Implikationsregel f
.בינה	implicational rule