class C

inherit
	A

feature

	c alias "and" (x: BOOLEAN): BOOLEAN is
		do
		end

end