class C

inherit
	A

feature

	c alias "not": BOOLEAN is
		do
		end

end