<xs:complexType name="AndType">
  <xs:annotation>
    <xs:documentation>The AndType defines an 'and' Boolean expression. The AndType evaluates to true if all of the BooleanExpression elements it contains evaluate to true. Otherwise, it evaluates to false. The BooleanExpression elements must be evaluated in order. If any BooleanExpression element evaluates to false, the remaining BooleanExpression elements must not be evaluated.</xs:documentation>
  </xs:annotation>
  <xs:complexContent>
    <xs:extension base="BooleanExpressionBaseType">
      <xs:sequence>
        <xs:element ref="BooleanExpression" minOccurs="2" maxOccurs="unbounded">
          <xs:annotation>
            <xs:documentation>Each Boolean Expression element is one of the Boolean expressions in the AndType expression.</xs:documentation>
          </xs:annotation>
        </xs:element>
      </xs:sequence>
      <xs:attribute name="n" type="NaturalType" use="required">
        <xs:annotation>
          <xs:documentation>The required n attribute is the number of boolean expressions in the AndType expression.</xs:documentation>
        </xs:annotation>
      </xs:attribute>
    </xs:extension>
  </xs:complexContent>
</xs:complexType>

<xs:attribute name="n" type="NaturalType" use="required">
  <xs:annotation>
    <xs:documentation>The required n attribute is the number of boolean expressions in the AndType expression.</xs:documentation>
  </xs:annotation>
</xs:attribute>