<xsd:element name="software">
    <xsd:annotation>
        <xsd:documentation>Software tests describe specific conditions that exists with software on disk.  For example, an OVAL definition might talk about a vulnerability that exists in a .dll file.  The conditions about whether this .dll file actually exists on a machine are outlined in the software section.</xsd:documentation>
        <xsd:documentation>The optional operation attribute determines how to handle multiple criterion elements.  Possible values are: AND, OR, XOR.  A value of AND means that each criterion must be true for the software section to return true.  A value of OR means that only one criterion must be true for the software section to return turn.  A value of XOR means that one, and only one, criterion must be true for the software section to return true.  The required result attribute holds the result of the analysis, either true, false, or error.</xsd:documentation>
        <xsd:appinfo>
            <cardinality>0-1</cardinality>
            <attributes>operation</attributes>
            <content>none</content>
            <parent_elements>criteria</parent_elements>
            <child_elements>criterion</child_elements>
        </xsd:appinfo>
    </xsd:annotation>
    <xsd:complexType>
        <xsd:sequence>
            <xsd:element ref="oval_results:criterion" minOccurs="1" maxOccurs="unbounded" />
        </xsd:sequence>
        <xsd:attribute name="operation" type="oval_results:operations" use="optional" default="AND" />
        <xsd:attribute name="result" type="oval_results:resultType" use="required" />
    </xsd:complexType>
</xsd:element>