PreliminaryInformationUsageCode->exists(code | Set{'11', '12', '13'}->includes(code)) and
PreliminaryInformationUsageCode->excludes('01') and
PreliminaryInformationIdDetails->isEmpty()
implies
PIATBorderTransportDetails->forAll(TransportMeansRegId->notEmpty())

@RuleMetadata(id = "782", description = "если реквизит ...", ocl = "PreliminaryInformationUsageCode->exists(...")
public void check_782(List<RuleResult> results) {
    final XdmNode _j_self = Helper.getNode(root, "/atpi:AutoPreliminaryInformation");
    final Variable _x_self = Helper.variable(_j_self, "self");
    if (Helper.evaluateBool(_j_self,
            "$self/[. = (\'11\',\'12\',\'13\')] and fn:not(\'01\' = $self/) and fn:not($self/)",
            Arrays.asList(_x_self))) {
        final Iterable<XdmNode> _list__1 = Helper.iterate(_j_self, "$self/", Arrays.asList(_x_self));
        if (!_list__1.iterator().hasNext()) {
            results.add(Helper.absent(_j_self, Arrays.asList(_x_self), Arrays.asList("$self/")));
            return;
        }
        for (final XdmNode _j__1 : _list__1) {
            final Variable _x__1 = Helper.variable(_j__1, "_1");
            results.add(Helper.check(_j__1, "fn:boolean($_1/)", Arrays.asList(_x_self, _x__1),
                    Arrays.asList(), Arrays.asList("$_1/")));
        }
    }
    else {
        results.add(Helper.irrelevant(_j_self, Arrays.asList(_x_self), Arrays.asList("$self/")));
    }
}

<xsl:variable name="__code">782</xsl:variable>
<xsl:variable name="__definition">если реквизит ...</xsl:variable>
<xsl:variable name="__ocl">PreliminaryInformationUsageCode-&gt;exists(...</xsl:variable>
<xsl:choose>
  <xsl:when test="$__context/casdo:PreliminaryInformationUsageCode[. = ('11','12','13')]
                  and fn:not('01' = $__context/casdo:PreliminaryInformationUsageCode)
                  and fn:not($__context/cacdo:PreliminaryInformationIdDetails)">
    <xsl:variable name="__items" as="item()*">
      <xsl:for-each select="$__context/cacdo:PIATBorderTransportDetails">
        <xsl:variable name="_1" select="."/>
        <xsl:call-template name="validate">
          <xsl:with-param name="code" select="$__code"/>
          <xsl:with-param name="isValid" select="fn:boolean($_1/csdo:TransportMeansRegId)"/>
          <xsl:with-param name="elements">
            <xsl:choose>
              <xsl:when test="$_1/csdo:TransportMeansRegId">
                <xsl:call-template name="element">
                  <xsl:with-param name="nodes" select="$_1/csdo:TransportMeansRegId"/>
                </xsl:call-template>
              </xsl:when>
              <xsl:when test="$_1">
                <xsl:call-template name="element">
                  <xsl:with-param name="nodes" select="$_1"/>
                  <xsl:with-param name="tail">csdo:TransportMeansRegId</xsl:with-param>
                </xsl:call-template>
              </xsl:when>
            </xsl:choose>
            <xsl:choose>
              <xsl:when test="$__context">
                <xsl:call-template name="element">
                  <xsl:with-param name="nodes" select="$__context"/>
                </xsl:call-template>
              </xsl:when>
            </xsl:choose>
          </xsl:with-param>
          <xsl:with-param name="definition" select="$__definition"/>
          <xsl:with-param name="ocl" select="$__ocl"/>
          <xsl:with-param name="error"/>
        </xsl:call-template>
      </xsl:for-each>
    </xsl:variable>
    <xsl:copy-of select="$__items"/>
    <xsl:if test="fn:empty($__items)">
      <xsl:call-template name="info">
        <xsl:with-param name="kind">absent</xsl:with-param>
        <xsl:with-param name="code" select="$__code"/>
        <xsl:with-param name="elements">
          <xsl:choose>
            <xsl:when test="$__context/cacdo:PIATBorderTransportDetails">
              <xsl:call-template name="element">
                <xsl:with-param name="nodes" select="$__context/cacdo:PIATBorderTransportDetails"/>
              </xsl:call-template>
            </xsl:when>
            <xsl:when test="$__context">
              <xsl:call-template name="element">
                <xsl:with-param name="nodes" select="$__context"/>
                <xsl:with-param name="tail">cacdo:PIATBorderTransportDetails</xsl:with-param>
              </xsl:call-template>
            </xsl:when>
          </xsl:choose>
        </xsl:with-param>
        <xsl:with-param name="definition" select="$__definition"/>
        <xsl:with-param name="ocl" select="$__ocl"/>
      </xsl:call-template>
    </xsl:if>
  </xsl:when>
  <xsl:otherwise>
    <xsl:call-template name="info">
      <xsl:with-param name="kind">irrelevant</xsl:with-param>
      <xsl:with-param name="code" select="$__code"/>
      <xsl:with-param name="elements">
        <xsl:choose>
          <xsl:when test="$__context/casdo:PreliminaryInformationUsageCode">
            <xsl:call-template name="element">
              <xsl:with-param name="nodes" select="$__context/casdo:PreliminaryInformationUsageCode"/>
            </xsl:call-template>
          </xsl:when>
          <xsl:when test="$__context">
            <xsl:call-template name="element">
              <xsl:with-param name="nodes" select="$__context"/>
              <xsl:with-param name="tail">casdo:PreliminaryInformationUsageCode</xsl:with-param>
            </xsl:call-template>
          </xsl:when>
        </xsl:choose>
        <xsl:choose>
          <xsl:when test="$__context/casdo:PreliminaryInformationUsageCode">
            <xsl:call-template name="element">
              <xsl:with-param name="nodes" select="$__context/casdo:PreliminaryInformationUsageCode"/>
            </xsl:call-template>
          </xsl:when>
          <xsl:when test="$__context">
            <xsl:call-template name="element">
              <xsl:with-param name="nodes" select="$__context"/>
              <xsl:with-param name="tail">casdo:PreliminaryInformationUsageCode</xsl:with-param>
            </xsl:call-template>
          </xsl:when>
        </xsl:choose>
        <xsl:choose>
          <xsl:when test="$__context/cacdo:PreliminaryInformationIdDetails">
            <xsl:call-template name="element">
              <xsl:with-param name="nodes" select="$__context/cacdo:PreliminaryInformationIdDetails"/>
            </xsl:call-template>
          </xsl:when>
          <xsl:when test="$__context">
            <xsl:call-template name="element">
              <xsl:with-param name="nodes" select="$__context"/>
              <xsl:with-param name="tail">cacdo:PreliminaryInformationIdDetails</xsl:with-param>
            </xsl:call-template>
          </xsl:when>
        </xsl:choose>
        <xsl:choose>
          <xsl:when test="$__context/cacdo:PIATBorderTransportDetails">
            <xsl:call-template name="element">
              <xsl:with-param name="nodes" select="$__context/cacdo:PIATBorderTransportDetails"/>
            </xsl:call-template>
          </xsl:when>
          <xsl:when test="$__context">
            <xsl:call-template name="element">
              <xsl:with-param name="nodes" select="$__context"/>
              <xsl:with-param name="tail">cacdo:PIATBorderTransportDetails</xsl:with-param>
            </xsl:call-template>
          </xsl:when>
        </xsl:choose>
      </xsl:with-param>
      <xsl:with-param name="definition" select="$__definition"/>
      <xsl:with-param name="ocl" select="$__ocl"/>
    </xsl:call-template>
  </xsl:otherwise>
</xsl:choose>

@RuleMetadata(id = "782", name = "782", description = "если реквизит ...", ocl = "PreliminaryInformationUsageCode->exists(...")
public void check_782(List<RuleResult> results) {
    final XdmNode _j_self = Helper.getNode(root, "/atpi:AutoPreliminaryInformation");
    final Variable _x_self = Helper.variable(_j_self, "self");
    if (Helper.evaluateBool(_j_self,
            "$self/casdo:PreliminaryInformationUsageCode[. = (\'11\',\'12\',\'13\')]"
            + " and fn:not(\'01\' = $self/casdo:PreliminaryInformationUsageCode)"
            + " and fn:not($self/cacdo:PreliminaryInformationIdDetails)",
            Arrays.asList(_x_self))) {
        final Iterable<XdmNode> _list__1 = Helper.iterate(_j_self, "$self/cacdo:PIATBorderTransportDetails",
                Arrays.asList(_x_self));
        if (!_list__1.iterator().hasNext()) {
            results.add(Helper.absent(_j_self, Arrays.asList(_x_self),
                    Arrays.asList("$self/cacdo:PIATBorderTransportDetails")));
            return;
        }
        for (final XdmNode _j__1 : _list__1) {
            final Variable _x__1 = Helper.variable(_j__1, "_1");
            results.add(Helper.check(_j__1, "fn:boolean($_1/csdo:TransportMeansRegId)",
                    Arrays.asList(_x_self, _x__1), Arrays.asList(),
                    Arrays.asList("$_1/csdo:TransportMeansRegId")));
        }
    }
    else {
        results.add(Helper.irrelevant(_j_self, Arrays.asList(_x_self),
                Arrays.asList("$self/casdo:PreliminaryInformationUsageCode",
                        "$self/cacdo:PreliminaryInformationIdDetails",
                        "$self/cacdo:PIATBorderTransportDetails")));
    }
}

<xs:simpleType name="CountryCodeType">
  <xs:restriction base="xs:string">
    <xs:pattern value="[A-Z]{2}"/>
  </xs:restriction>
</xs:simpleType>