Then as H ⊨ ¬ F {\displaystyle H\models \neg F} , they generalize the negation of the bridge theory F with the anti-entailment.
Онда H ⊨ ¬ F {\displaystyle H\models \neg F} , они генерализују негацију теорије моста F са anti-entailment.