n3

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix wsdl: <http://schemas.xmlsoap.org/wsdl/> .
@prefix wssoap: <http://schemas.xmlsoap.org/wsdl/soap/> .
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.


this log:forAll :service, :port, :binding, :bindingName.
{
 :service rdf:type wsdl:service.
 :service wsdl:hasPort :port.
 :port wsdl:binding :binding.
 :binding wssoap:style wssoap:document.
 :binding wsdl:name :bindingName).
} log:implies {
 :service a agg:Q1Answer.
 :bindingName a agg:Q1Answer.
} .