class C

feature

	f alias "not" (x: BOOLEAN): BOOLEAN is
			-- Unary operator for non-unary feature
		do
		end

end