user: IDS Version: IFC4 IFC4X3_ADD2
filename: row-0154.ids

I want to check whether the water supply pumps in a condominium meet the discharge rate and motor capacity defined in the water supply plan.  
Each water supply pump has the following 3 items, and check whether it clears the criteria: 
1. Rated discharge rate: 45m³/h or higher 
2. Motor capacity: 11kW or higher 
3. Rated voltage: 400V

Please provide an IDS that shows an error for pumps with no input or that do not meet the criteria. For verifying stable water supply to upper floors.

assistant: <?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<ids:ids xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://standards.buildingsmart.org/IDS http://standards.buildingsmart.org/IDS/1.0/ids.xsd" xmlns:ids="http://standards.buildingsmart.org/IDS">
  <!--edit with ONESTRUCTION Inc.-->
  <ids:info>
    <ids:title>Condominium water supply pump performance verification</ids:title>
    <ids:description>Verify whether the discharge rate and motor capacity defined in the water supply plan are satisfied. To ensure stable water supply to upper floors, the criteria are: rated discharge rate of 45m³/h or higher, motor capacity of 11kW or higher, and power supply voltage of 400V three-phase.</ids:description>
  </ids:info>
  <ids:specifications>
    <ids:specification name="Water supply pump performance criteria" ifcVersion="IFC4 IFC4X3_ADD2">
      <ids:applicability minOccurs="1" maxOccurs="unbounded">
        <ids:entity>
          <ids:name>
            <ids:simpleValue>IFCPUMP</ids:simpleValue>
          </ids:name>
        </ids:entity>
      </ids:applicability>
      <ids:requirements>
        <ids:property cardinality="required" dataType="IFCMASSFLOWRATEMEASURE">
          <ids:propertySet>
            <xs:restriction base="xs:string">
              <xs:pattern value="^(?!(Pset_|Qto_)).+"/>
            </xs:restriction>
          </ids:propertySet>
          <ids:baseName>
            <ids:simpleValue>Rated discharge rate</ids:simpleValue>
          </ids:baseName>
          <ids:value>
            <xs:restriction base="xs:double">
              <xs:minInclusive value="45"/>
            </xs:restriction>
          </ids:value>
        </ids:property>
        <ids:property cardinality="required" dataType="IFCPOWERMEASURE">
          <ids:propertySet>
            <xs:restriction base="xs:string">
              <xs:pattern value="^(?!(Pset_|Qto_)).+"/>
            </xs:restriction>
          </ids:propertySet>
          <ids:baseName>
            <ids:simpleValue>Motor capacity</ids:simpleValue>
          </ids:baseName>
          <ids:value>
            <xs:restriction base="xs:double">
              <xs:minInclusive value="11"/>
            </xs:restriction>
          </ids:value>
        </ids:property>
        <ids:property cardinality="required" dataType="IFCELECTRICVOLTAGEMEASURE">
          <ids:propertySet>
            <xs:restriction base="xs:string">
              <xs:pattern value="^(?!(Pset_|Qto_)).+"/>
            </xs:restriction>
          </ids:propertySet>
          <ids:baseName>
            <ids:simpleValue>Rated voltage</ids:simpleValue>
          </ids:baseName>
          <ids:value>
            <ids:simpleValue>400</ids:simpleValue>
          </ids:value>
        </ids:property>
      </ids:requirements>
    </ids:specification>
  </ids:specifications>
</ids:ids>