class 
	CHILD [G -> COMPARABLE]

inherit
	PARENT [G]
	
feature

	failure (y_a, y_b: G) is
		do
		end
	
end -- class CHILD