public static boolean rulePropositionP(Proposition proposition) {
    { Keyword testValue000 = proposition.kind;

      if ((testValue000 == GuiServer.KWD_FORALL) ||
          ((testValue000 == GuiServer.KWD_EXISTS) ||
           (testValue000 == GuiServer.KWD_IMPLIES))) {
        return (true);
      }
      else {
        return (false);
      }
    }
  }