public static boolean kifQuantifierSymbolP(Symbol self) {
    if ((self == Logic.SYM_STELLA_EXISTS) ||
        ((self == Logic.SYM_STELLA_FORALL) ||
         ((self == Logic.SYM_LOGIC_SETOFALL) ||
          ((self == Logic.SYM_LOGIC_KAPPA) ||
           (self == Logic.SYM_LOGIC_THE))))) {
      return (true);
    }
    else {
      return (false);
    }
  }