<rdf:RDF
  xmlns:rdf ="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:qa  ="http://www.ksl.Stanford.EDU/projects/DAML/Proof/query-answer.daml#"
  xmlns:wsdl="http://schemas.xmlsoap.org/wsdl/"
  xmlns:wssoap="http://schemas.xmlsoap.org/wsdl/soap/"
  >

  <qa:Query rdf:ID="WQ8">
    <qa:queryPremise>http://www.ksl.stanford.edu/DAML/query-answer/wines-short8.daml</qa:queryPremise>
    <qa:queryPattern>
      <qa:Conjunction rdf:ID="QP">

        <!-- ?service --rdf:type-- wsdl:service -->
	<qa:conjunct>
	  <qa:Triple rdf:ID="CJ1">
	    <qa:predicate>
	      <qa:PropertyConstant rdf:ID="P1">
		<qa:qName>
		  <qa:QualifiedName rdf:ID="Q1">
		    <qa:nsName>
		      http://www.w3.org/1999/02/22-rdf-syntax-ns#
		    </qa:nsName>
		    <qa:localName>
		      type
		    </qa:localName>
		  </qa:QualifiedName>
		</qa:qName>
	      </qa:PropertyConstant>
	    </qa:predicate>

	    <qa:subject>
	      <qa:Variable rdf:ID="S1">
		<qa:vName>
		  ?service
		</qa:vName>
	      </qa:Variable>
	    </qa:subject>

	    <qa:object>
	      <qa:ObjectConstant rdf:ID="O1">
		<qa:qName>
		  <qa:QualifiedName rdf:ID="Q3">
		    <qa:nsName>
		      http://schemas.xmlsoap.org/wsdl/
		    </qa:nsName>
		    <qa:localName>
		      service
		    </qa:localName>
		  </qa:QualifiedName>
		</qa:qName>
	      </qa:ObjectConstant>
	    </qa:object>
	  </qa:Triple>
	</qa:conjunct>

        <!-- ?service --wsdl:hasPort-- ?port -->
	<qa:conjunct>
	  <qa:Triple rdf:ID="CJ1">
	    <qa:predicate>
	      <qa:PropertyConstant rdf:ID="P1">
		<qa:qName>
		  <qa:QualifiedName rdf:ID="Q1">
		    <qa:nsName>
		      http://schemas.xmlsoap.org/wsdl/
		    </qa:nsName>
		    <qa:localName>
		      hasPort
		    </qa:localName>
		  </qa:QualifiedName>
		</qa:qName>
	      </qa:PropertyConstant>
	    </qa:predicate>

	    <qa:subject>
	      <qa:Variable rdf:ID="S1">
		<qa:vName>
		  ?service
		</qa:vName>
	      </qa:Variable>
	    </qa:subject>

	    <qa:object>
	      <qa:Variable rdf:ID="S1">
		<qa:vName>
		  ?port
		</qa:vName>
	      </qa:Variable>
	    </qa:object>
	  </qa:Triple>
	</qa:conjunct>

        <!-- ?port --wsdl:binding-- ?binding -->
	<qa:conjunct>
	  <qa:Triple rdf:ID="CJ1">
	    <qa:predicate>
	      <qa:PropertyConstant rdf:ID="P1">
		<qa:qName>
		  <qa:QualifiedName rdf:ID="Q1">
		    <qa:nsName>
		      http://schemas.xmlsoap.org/wsdl/
		    </qa:nsName>
		    <qa:localName>
		      binding
		    </qa:localName>
		  </qa:QualifiedName>
		</qa:qName>
	      </qa:PropertyConstant>
	    </qa:predicate>

	    <qa:subject>
	      <qa:Variable rdf:ID="S1">
		<qa:vName>
		  ?port
		</qa:vName>
	      </qa:Variable>
	    </qa:subject>

	    <qa:object>
	      <qa:Variable rdf:ID="S1">
		<qa:vName>
		  ?binding
		</qa:vName>
	      </qa:Variable>
	    </qa:object>
	  </qa:Triple>
	</qa:conjunct>

        <!-- ?binding --wssoap:style-- wssoap:document -->
	<qa:conjunct>
	  <qa:Triple rdf:ID="CJ1">
	    <qa:predicate>
	      <qa:PropertyConstant rdf:ID="P1">
		<qa:qName>
		  <qa:QualifiedName rdf:ID="Q1">
		    <qa:nsName>
		      http://schemas.xmlsoap.org/wsdl/soap/
		    </qa:nsName>
		    <qa:localName>
		      style
		    </qa:localName>
		  </qa:QualifiedName>
		</qa:qName>
	      </qa:PropertyConstant>
	    </qa:predicate>

	    <qa:subject>
	      <qa:Variable rdf:ID="S1">
		<qa:vName>
		  ?service
		</qa:vName>
	      </qa:Variable>
	    </qa:subject>

	    <qa:object>
	      <qa:ObjectConstant rdf:ID="O1">
		<qa:qName>
		  <qa:QualifiedName rdf:ID="Q3">
		    <qa:nsName>
		      http://schemas.xmlsoap.org/wsdl/
		    </qa:nsName>
		    <qa:localName>
		      service
		    </qa:localName>
		  </qa:QualifiedName>
		</qa:qName>
	      </qa:ObjectConstant>
	    </qa:object>
	  </qa:Triple>
	</qa:conjunct>

        <!-- ?binding --wsdl:name-- ?bindingName -->
	<qa:conjunct>
	  <qa:Triple rdf:ID="CJ1">
	    <qa:predicate>
	      <qa:PropertyConstant rdf:ID="P1">
		<qa:qName>
		  <qa:QualifiedName rdf:ID="Q1">
		    <qa:nsName>
		      http://schemas.xmlsoap.org/wsdl/
		    </qa:nsName>
		    <qa:localName>
		      name
		    </qa:localName>
		  </qa:QualifiedName>
		</qa:qName>
	      </qa:PropertyConstant>
	    </qa:predicate>

	    <qa:subject>
	      <qa:Variable rdf:ID="S1">
		<qa:vName>
		  ?binding
		</qa:vName>
	      </qa:Variable>
	    </qa:subject>

	    <qa:object>
	      <qa:Variable rdf:ID="S1">
		<qa:vName>
		  ?bindingName
		</qa:vName>
	      </qa:Variable>
	    </qa:object>
	  </qa:Triple>
	</qa:conjunct>
      </qa:Conjunction>
    </qa:queryPattern>
  </qa:Query>
</rdf:RDF>