class C

feature

	f alias "not" (x, y: BOOLEAN) is
			-- Unary operator for procedure
		do
		end

end