class
	B [G -> COMPARABLE]

inherit
	A [G]

end