public static boolean evaluationSelectionPatternP(Cons pattern) {
    { Cons options = ((Cons)(pattern.rest.value));

      while (!(options == Stella.NIL)) {
        if ((options.value == Logic.KWD_EVALUATEp) &&
            (Stella_Object.coerceToBoolean(options.rest.value) == Stella.TRUE_WRAPPER)) {
          return (true);
        }
        options = options.rest.rest;
      }
      return (false);
    }
  }