public static boolean functionalTermP(Stella_Object term) {
    if (Stella_Object.safePrimaryType(term) == Logic.SGT_STELLA_CONS) {
      { Cons term000 = ((Cons)(term));

        { GeneralizedSymbol testValue000 = ((GeneralizedSymbol)(term000.value));

          if ((testValue000 == Logic.SYM_LOGIC_SETOFALL) ||
              ((testValue000 == Logic.SYM_LOGIC_THE_ONLY) ||
               ((testValue000 == Logic.SYM_STELLA_SETOF) ||
                ((testValue000 == Logic.SYM_LOGIC_LISTOF) ||
                 (testValue000 == Logic.SYM_LOGIC_KAPPA))))) {
            return (false);
          }
          else {
            return (true);
          }
        }
      }
    }
    else {
      return (false);
    }
  }