class
	P1

feature {P2}
	from_p1
		do
		end

end