class C

feature

	f alias "not" is
			-- Unary operator for procedure
		do
		end

end