FFF> #load "ex10.fff";

FFF> #fun a/0 b/0 c/0 d/0 f/2 g/2 l/2 h/3;
*** The current signature has 8 functors: {a/0, b/0, c/0, d/0, f/2, g/2, l/2, h/3}

FFF> #sim a b 0.7 c d 0.6 f g 0.8 l h 0.9;
*** Declared similarities: 
	a b 0.7
	c d 0.6
	f g 0.8
	l h 0.9

FFF> #close;
*** Computed similarity closure (enter '#show;<CR>' to see it)

FFF> #show;
#show;
*** The current signature has 8 functors: {a/0, b/0, c/0, d/0, f/2, g/2, l/2, h/3}

*** The declared similar functor pairs are: 
	a b 0.7
	c d 0.6
	f g 0.8
	l h 0.9

*** The similarity closure of the declared similar functor pairs is:

     a/0  b/0  c/0  d/0  f/2  g/2  l/2  h/3  
     ---  ---  ---  ---  ---  ---  ---  ---  
a |  1.0  0.7  0.0  0.0  0.0  0.0  0.0  0.0 

b |  0.7  1.0  0.0  0.0  0.0  0.0  0.0  0.0 

c |  0.0  0.0  1.0  0.6  0.0  0.0  0.0  0.0 

d |  0.0  0.0  0.6  1.0  0.0  0.0  0.0  0.0 

f |  0.0  0.0  0.0  0.0  1.0  0.8  0.0  0.0 

g |  0.0  0.0  0.0  0.0  0.8  1.0  0.0  0.0 

l |  0.0  0.0  0.0  0.0  0.0  0.0  1.0  0.9 

h |  0.0  0.0  0.0  0.0  0.0  0.0  0.9  1.0 

*** It has 6 similarity degrees: [0.0,0.6,0.7,0.8,0.9,1.0]

*** The 6 corresponding fuzzy partitions are:

*** >= 0.0: { {a, b, c, d, f, g, l, h} }

*** >= 0.6: { {a, b}, {c, d}, {f, g}, {l, h} }

*** >= 0.7: { {a, b}, {c}, {d}, {f, g}, {l, h} }

*** >= 0.8: { {a}, {b}, {c}, {d}, {f, g}, {l, h} }

*** >= 0.9: { {a}, {b}, {c}, {d}, {f}, {g}, {l, h} }

*** >= 1.0: { {a}, {b}, {c}, {d}, {f}, {g}, {l}, {h} }

FFF> h(g(b,Y),f(Y,c),X) \/ l(f(a,Z),g(c,d));
*** The fuzzy lub is l(g(b,_0),f(_1,c))
*** Its approximation degree is 0.6
*** Its 0.6-similar term representative is l(f(a,_0),f(_1,c))
*** Left substitution:
*** 	_0 = Y
*** 	_1 = Y
*** Right substitution:
*** 	_0 = Z
*** 	_1 = c

FFF>