preprocess_for_display_iia((X,Y),F):-
   W = ([r(J),r(K)]->C),
   G = (
     (strictly_prefer_to(X,Y,r(J))->A=X;A=Y),
     (strictly_prefer_to(X,Y,r(K))->B=X;B=Y),
     concat(A,B,C)
   ),
   P = possible_preference_of_group( [1,2], [r(J),r(K)], _),
   findall( W, (P,G), F).

display_pattern_of_iia_profiles((X,Y)):-
   distinct_pair_of_alternatives(X,Y),
   preprocess_for_display_iia((X,Y),F),
   display_auto_swf(F).

display_pattern_of_iia_profiles((X@<Y)):-
   distinct_pair_of_alternatives(X,Y),
   X@<Y,
   preprocess_for_display_iia((X,Y),F),
   display_auto_swf(F).

% ab.

display_iia(S):-
   display_pattern_of_iia_profiles(S).

/*

?- display_iia((X@<Y)).

row=1;[aa, aa, ab, ab, aa, ab]
row=2;[aa, aa, ab, ab, aa, ab]
row=3;[ba, ba, bb, bb, ba, bb]
row=4;[ba, ba, bb, bb, ba, bb]
row=5;[aa, aa, ab, ab, aa, ab]
row=6;[ba, ba, bb, bb, ba, bb]

X = a
Y = b ;

row=1;[aa, aa, aa, ac, ac, ac]
row=2;[aa, aa, aa, ac, ac, ac]
row=3;[aa, aa, aa, ac, ac, ac]
row=4;[ca, ca, ca, cc, cc, cc]
row=5;[ca, ca, ca, cc, cc, cc]
row=6;[ca, ca, ca, cc, cc, cc]

X = a
Y = c ;

row=1;[bb, bc, bb, bb, bc, bc]
row=2;[cb, cc, cb, cb, cc, cc]
row=3;[bb, bc, bb, bb, bc, bc]
row=4;[bb, bc, bb, bb, bc, bc]
row=5;[cb, cc, cb, cb, cc, cc]
row=6;[cb, cc, cb, cb, cc, cc]

X = b
Y = c ;

No
?- 

*/