Que signifie $ alpha_r supset beta_r $ dans la définition de tolérance du système z?

Question

Je lis sur Système Z introduit par Judea Pearl (en Système Z: une commande naturelle des valeurs par défaut avec des applications tractables au raisonnement non monotonique). Une définition centrale est celle de tolérance d'un sous-ensemble $ r '$ d'une règle définie $ r $ pour une règle $ r = alpha_r to beta_r $ (indiqué par $ t (r vert r') $). La tolérance de $ r '$ pour $ r $ est définie comme l'ensemble des formules satisfaisables $$ ( alpha_r land beta_r) bigcup_ {r' in r '} ( alpha_ {r'} supset beta_ {r '}) $$ (voir page 2 de l'article de Pearl).

Je ne comprends pas ce que $ alpha_ {r '} supset beta_ {r'} $ est censé signifier. Quelqu'un peut-il expliquer?