La condition suivante s'applique: Le préfixe de la formule de chaîne 22 de la formule de longueur 10 correspond au préfixe de la formule 24 de la formule de longueur 10 implique la formule 26.
La condition suivante implique: Le préfixe de la formule de chaîne _ 22 de la formule de longueur _ 10 contient le préfixe de la formule _ 24 de la formule de longueur _ 10 est égal à la formule _ 26.