class C

inherit
	B
		rename
			p1 as x alias "not"
		end

end