class C

feature

	f alias "and": BOOLEAN is
			-- Binary operator for non-binary feature
		do
		end

end