error in Wincl enumeration

wbel.pl

@@ -170,9 +170,9 @@ print_beliefs([(Li, Bi, Bel)|Bels], Assoc) :-
 %   print sets of formulas.
 
 print_wincl([], _).
-print_wincl([Bi|Bels], Assoc) :-
+print_wincl([N/Bi|Bels], Assoc) :-
     expand_formulae(Bi, Assoc, FBi),
-    format('~w~n', [FBi]),
+    format('B~w=~w~n', [N, FBi]),
     print_wincl(Bels, Assoc).
 
 %!  expand_formulae(?SetOfSelectors, ?Assoc, ?SetOfForms)