uninterpreted name

未解释名