deferred class B

inherit

	A
		rename
			has as has_item
		end

feature

	has
		deferred
		end

end