class C [G, H -> B]

feature

	item: detachable D [like {H}.item]
		do
		end

end