Distinguish function symbols, predicate symbols and negation symbol