class C

feature

	f alias "and" (x, y: BOOLEAN): BOOLEAN is
			-- Binary operator for non-binary feature
		do
		end

end