Unique binding Program for query "S/2_bb"
S/2_bb(a,b):-  sup_0_2(a,b,c,d),S/2_bb(c,d).
sup_0_0(a,b):-  m_S/2_bb(a,b).
sup_0_1(a,b,c):- a/2(a,c) , sup_0_0(a,b).
sup_0_2(a,b,c,d):- b/2(d,b) , sup_0_1(a,b,c).
m_S/2_bb(c,d):-  sup_0_2(a,b,c,d).
S/2_bb(a,a):-  sup_1_0(a).
sup_1_0(a):-  m_S/2_bb(a,a).
Intensional predicates are:
	S/2_bb
	sup_0_0
	sup_0_1
	sup_0_2
	m_S/2_bb
	sup_1_0
Unique binding Program for query "S/2_bf"
S/2_bb(a,b):-  sup_0_2(a,b,c,d),S/2_bb(c,d).
sup_0_0(a,b):-  m_S/2_bb(a,b).
sup_0_1(a,b,c):- a/2(a,c) , sup_0_0(a,b).
sup_0_2(a,b,c,d):- b/2(d,b) , sup_0_1(a,b,c).
m_S/2_bb(c,d):-  sup_0_2(a,b,c,d).
S/2_bb(a,a):-  sup_1_0(a).
sup_1_0(a):-  m_S/2_bb(a,a).
S/2_bf(a,b):-  sup_2_2(a,b,c,d),S/2_bb(c,d).
sup_2_0(a,b):-  m_S/2_bf(a,b).
sup_2_1(a,b,c):- a/2(a,c) , sup_2_0(a,b).
sup_2_2(a,b,c,d):- b/2(d,b) , sup_2_1(a,b,c).
m_S/2_bb(c,d):-  sup_2_2(a,b,c,d).
S/2_bf(a,a):-  sup_3_0(a).
sup_3_0(a):-  m_S/2_bf(a,a).
Intensional predicates are:
	S/2_bf
	S/2_bb
	sup_0_0
	sup_0_1
	sup_0_2
	m_S/2_bb
	sup_1_0
	sup_2_0
	sup_2_1
	sup_2_2
	m_S/2_bf
	sup_3_0
Unique binding Program for query "S/2_fb"
S/2_bb(a,b):-  sup_0_2(a,b,c,d),S/2_bb(c,d).
sup_0_0(a,b):-  m_S/2_bb(a,b).
sup_0_1(a,b,c):- a/2(a,c) , sup_0_0(a,b).
sup_0_2(a,b,c,d):- b/2(d,b) , sup_0_1(a,b,c).
m_S/2_bb(c,d):-  sup_0_2(a,b,c,d).
S/2_bb(a,a):-  sup_1_0(a).
sup_1_0(a):-  m_S/2_bb(a,a).
S/2_fb(a,b):-  sup_2_2(a,b,c,d),S/2_bb(c,d).
sup_2_0(a,b):-  m_S/2_fb(a,b).
sup_2_1(a,b,c):- a/2(a,c) , sup_2_0(a,b).
sup_2_2(a,b,c,d):- b/2(d,b) , sup_2_1(a,b,c).
m_S/2_bb(c,d):-  sup_2_2(a,b,c,d).
S/2_fb(a,a):-  sup_3_0(a).
sup_3_0(a):-  m_S/2_fb(a,a).
Intensional predicates are:
	S/2_fb
	S/2_bb
	sup_0_0
	sup_0_1
	sup_0_2
	m_S/2_bb
	sup_1_0
	sup_2_0
	sup_2_1
	sup_2_2
	m_S/2_fb
	sup_3_0
Unique binding Program for query "S/2_ff"
S/2_bb(a,b):-  sup_0_2(a,b,c,d),S/2_bb(c,d).
sup_0_0(a,b):-  m_S/2_bb(a,b).
sup_0_1(a,b,c):- a/2(a,c) , sup_0_0(a,b).
sup_0_2(a,b,c,d):- b/2(d,b) , sup_0_1(a,b,c).
m_S/2_bb(c,d):-  sup_0_2(a,b,c,d).
S/2_bb(a,a):-  sup_1_0(a).
sup_1_0(a):-  m_S/2_bb(a,a).
S/2_ff(a,b):-  sup_2_2(a,b,c,d),S/2_bb(c,d).
sup_2_0(a,b):-  m_S/2_ff(a,b).
sup_2_1(a,b,c):- a/2(a,c) , sup_2_0(a,b).
sup_2_2(a,b,c,d):- b/2(d,b) , sup_2_1(a,b,c).
m_S/2_bb(c,d):-  sup_2_2(a,b,c,d).
S/2_ff(a,a):-  sup_3_0(a).
sup_3_0(a):-  m_S/2_ff(a,a).
Intensional predicates are:
	S/2_ff
	S/2_bb
	sup_0_0
	sup_0_1
	sup_0_2
	m_S/2_bb
	sup_1_0
	sup_2_0
	sup_2_1
	sup_2_2
	m_S/2_ff
	sup_3_0
