class A1

inherit

	A
		redefine
			entity, original
		end

feature -- Access

	entity: B1

	original: B2

end