public boolean clusteredConjunctionP() {
    { Proposition self = this;

      { boolean foundP000 = false;

        { Stella_Object conjunct = null;
          Vector vector000 = self.arguments;
          int index000 = 0;
          int length000 = vector000.length();

          loop000 : for (;index000 < length000; index000 = index000 + 1) {
            conjunct = (vector000.theArray)[index000];
            if (((Proposition)(conjunct)).kind == Logic.KWD_AND) {
              foundP000 = true;
              break loop000;
            }
          }
        }
        { boolean value000 = foundP000;

          return (value000);
        }
      }
    }
  }