public static Keyword simplifyTopLevelLoomKeywords(Keyword keyword) {
    if (keyword == Logic.KWD_ATTRIBUTES) {
      return (Logic.KWD_CHARACTERISTICS);
    }
    else if (keyword == Logic.KWD_PARTITION) {
      return (Logic.KWD_PARTITIONS);
    }
    else if (keyword == Logic.KWD_IMPLIES) {
      return (Logic.KWD_CONSTRAINTS);
    }
    else if (keyword == Logic.KWD_EXHAUSTIVE_PARTITION) {
      return (Logic.KWD_EXHAUSTIVE_PARTITIONS);
    }
    else {
      return (keyword);
    }
  }