无解释
... type expresstion(类型表达式) uninterpreted(无解释) union(联合) ...
未解释名
平等逻辑解释的功能
uninterpreted:
un- + interpreted