
<!-- Processed by Id: cwm.py,v 1.183 2006/01/13 14:48:54 syosi Exp -->
<!--     using base file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/-->


<rdf:RDF xmlns:crypto="http://www.w3.org/2000/10/swap/crypto#"
    xmlns:e="file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-goal.n3#"
    xmlns:ev="http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#"
    xmlns:ex="http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#"
    xmlns:ex2="file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#"
    xmlns:ext="file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#"
    xmlns:iw="http://inferenceweb.stanford.edu/2004/07/iw.owl#"
    xmlns:list="http://www.w3.org/2000/10/swap/list#"
    xmlns:log="http://www.w3.org/2000/10/swap/log#"
    xmlns:math="http://www.w3.org/2000/10/swap/math#"
    xmlns:n3="http://www.w3.org/2004/06/rei#"
    xmlns:n3_="http://www.w3.org/2000/10/swap/reify#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rea="http://www.w3.org/2000/10/swap/reason#"
    xmlns:s="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:soc="http://www.w3.org/2000/10/swap/pim/soc#"
    xmlns:string="http://www.w3.org/2000/10/swap/string#">

    <rea:CommandLine rdf:nodeID="b1">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <rea:args>['../../../../2000/10/swap/cwm.py', 'ex-html24.n3', 'ext-vers-rules.n3', '--think', '--filter=ex-html24-goal.n3', '--why']</rea:args>
    </rea:CommandLine>

    <iw:DirectAssertion rdf:nodeID="b2">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Parsing"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:source rdf:resource="ex-html24.n3"/>
        <rea:because rdf:nodeID="b1"/>
        <rea:source rdf:resource="ex-html24.n3"/>
    </iw:DirectAssertion>

    <s:Class rdf:about="http://www.w3.org/2000/10/swap/reason#Binding">
        <s:comment>A binding is given eg in a proof or query result

	</s:comment>
        <s:label>binding</s:label>
    </s:Class>

    <rdf:Description rdf:about="http://www.w3.org/2000/10/swap/reason#CommandLine">
        <s:subClassOf rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
    </rdf:Description>

    <rdf:Description rdf:about="http://www.w3.org/2000/10/swap/reason#Conjunction">
        <s:label>The step of conjunction introduction: 
	taking a bunch of compent statements
	and building a formula from them.</s:label>
        <s:subClassOf rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
    </rdf:Description>

    <rdf:Description rdf:about="http://www.w3.org/2000/10/swap/reason#Extraction">
        <s:comment>The step of taking one statement out of a formula.
	The step is identified by the :gives formula (the statement)
	and the :because step's :gives formula (the formula extracted
	from).
	</s:comment>
        <s:label>Conjunction elimination</s:label>
        <s:subClassOf rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
    </rdf:Description>

    <rdf:Description rdf:about="http://www.w3.org/2000/10/swap/reason#Inference">
        <s:subClassOf rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
    </rdf:Description>

    <rdf:Description rdf:about="http://www.w3.org/2000/10/swap/reason#Parsing">
        <s:comment>The formula given was derived from parsing a
	resource.</s:comment>
        <s:label>parsing</s:label>
        <s:subClassOf rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
    </rdf:Description>

    <rdf:Description rdf:about="http://www.w3.org/2000/10/swap/reason#Proof">
        <s:comment>A Proof step is the last step in the proof, 
	a step which :gives that which was to be proved.
	Typically a document will assert just one :Proof,
	which a checker can then check and turn into
	the Formula proved - Q.E.D. .
	</s:comment>
        <s:label>proof</s:label>
        <s:subClassOf rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
    </rdf:Description>

    <s:Class rdf:about="http://www.w3.org/2000/10/swap/reason#Step">
        <s:comment>A step in a proof.

	See :gives for the arc to the formula proved at this step.
	</s:comment>
        <s:label>proof step</s:label>
    </s:Class>

    <rdf:Property rdf:about="http://www.w3.org/2000/10/swap/reason#because">
        <s:comment>gives the step whose data was input to this step.</s:comment>
        <s:domain rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <s:label>because</s:label>
        <s:range rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
    </rdf:Property>

    <rdf:Property rdf:about="http://www.w3.org/2000/10/swap/reason#boundTo">
        <s:comment>
	This binding binds its variable to this term.
	</s:comment>
        <s:domain rdf:resource="http://www.w3.org/2000/10/swap/reason#Binding"/>
        <s:label>bound to</s:label>
        <s:range rdf:resource="http://www.w3.org/2000/10/swap/reify#Term"/>
    </rdf:Property>

    <rdf:Property rdf:about="http://www.w3.org/2000/10/swap/reason#component">
        <s:comment>A step whose data was used in building this conjunction</s:comment>
        <s:domain rdf:resource="http://www.w3.org/2000/10/swap/reason#Conjunction"/>
        <s:label>component</s:label>
        <s:range rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
    </rdf:Property>

    <rdf:Property rdf:about="http://www.w3.org/2000/10/swap/reason#gives">
        <s:domain rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <s:label>gives</s:label>
        <s:range rdf:resource="http://www.w3.org/2000/10/swap/reify#Formula"/>
    </rdf:Property>

    <rdf:Property rdf:about="http://www.w3.org/2000/10/swap/reason#source">
        <s:comment>The source document which was parsed.
	</s:comment>
        <s:domain rdf:resource="http://www.w3.org/2000/10/swap/reason#Parsing"/>
        <s:label>source</s:label>
        <s:range rdf:resource="http://www.w3.org/2000/10/swap/pim/soc#Work"/>
    </rdf:Property>

    <rdf:Property rdf:about="http://www.w3.org/2000/10/swap/reason#variable">
        <s:comment>
	The given string is that used as the identifier of the variable
	which is bound by this binding.  The variable name has to be given as
	a string, rather than the variable being put here, or the variable
	would be treated as a variable.</s:comment>
        <s:domain rdf:resource="http://www.w3.org/2000/10/swap/reason#Binding"/>
        <s:label>variable</s:label>
        <s:range rdf:resource="http://www.w3.org/2000/10/swap/reify#String"/>
    </rdf:Property>

    <iw:InferenceStep rdf:nodeID="b3">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Inference"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    
     @forSome :_g3 .
    
    :_g3     ev:intent ex:chap1in .
    
</iw:hasConclusion>
            <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
            <iw:isConsequentOf rdf:nodeID="b4"/>
            <s:label>@@evidence</s:label>
        </iw:hasAntecedent>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    
     @forSome :_g3 .
    
    :_g3     ev:text "&#60;html&#62;...&#60;/html&#62;" .
    
</iw:hasConclusion>
            <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
            <iw:isConsequentOf rdf:nodeID="b14"/>
            <s:label>@@evidence</s:label>
        </iw:hasAntecedent>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    
     @forSome :_g3 .
    
    :_g3     ev:language ex:HTML4 .
    
</iw:hasConclusion>
            <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
            <iw:isConsequentOf rdf:nodeID="b15"/>
            <s:label>@@evidence</s:label>
        </iw:hasAntecedent>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    
     @forSome :_g3 .
    
    ex:chap2     ev:stateCommunication :_g3 .
    
</iw:hasConclusion>
            <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
            <iw:isConsequentOf rdf:nodeID="b16"/>
            <s:label>@@evidence</s:label>
        </iw:hasAntecedent>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:hasConclusion>     @prefix : &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix e: &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-goal.n3#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    @prefix log: &#60;http://www.w3.org/2000/10/swap/log#&#62; .
    
     @forAll e:C .
    {
        e:C     :intent ex:chap1in;
             :language ex:HTML4;
             :text "&#60;html&#62;...&#60;/html&#62;" .
        ex:chap2     :stateCommunication e:C .
        
        }     log:implies {e:C     :intent ex:chap1in;
             :language ex:HTML4;
             :text "&#60;html&#62;...&#60;/html&#62;" .
        } .
    
</iw:hasConclusion>
            <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
            <iw:isConsequentOf rdf:nodeID="b17"/>
            <s:label>@@step</s:label>
        </iw:hasAntecedent>
        <iw:hasRule rdf:resource="http://inferenceweb.stanford.edu/registry/DPR/GMP.owl#GMP"/>
        <rea:binding rdf:parseType="Resource">
            <rea:boundTo rdf:parseType="Resource">
                <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Existential"/>
                <n3:nodeId>file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24.n3#_g_L14C2</n3:nodeId>
            </rea:boundTo>
            <rea:variable rdf:parseType="Resource">
                <n3:uri>file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-goal.n3#C</n3:uri>
            </rea:variable>
        </rea:binding>
        <rea:evidence rdf:parseType="Collection">
            <rdf:li rdf:nodeID="b4"/>
            <rdf:li rdf:nodeID="b14"/>
            <rdf:li rdf:nodeID="b15"/>
            <rdf:li rdf:nodeID="b16"/>
        </rea:evidence>
        <rea:rule rdf:nodeID="b17"/>
    </iw:InferenceStep>

    <iw:InferenceStep rdf:nodeID="b4">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:isConsequentOf rdf:nodeID="b5"/>
            <s:label>@@step</s:label>
        </iw:hasAntecedent>
        <iw:rule rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rea:because rdf:nodeID="b5"/>
    </iw:InferenceStep>

    <iw:InferenceStep rdf:nodeID="b5">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Inference"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    
     @forSome :_g2 .
    
    :_g2     ev:intent ex:chap1in .
    
</iw:hasConclusion>
            <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
            <iw:isConsequentOf rdf:nodeID="b6"/>
            <s:label>@@evidence</s:label>
        </iw:hasAntecedent>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    
     @forSome :_g2 .
    
    :_g2     ev:text "&#60;html&#62;...&#60;/html&#62;" .
    
</iw:hasConclusion>
            <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
            <iw:isConsequentOf rdf:nodeID="b7"/>
            <s:label>@@evidence</s:label>
        </iw:hasAntecedent>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    
     @forSome :_g2 .
    
    :_g2     ev:language ex:HTML2 .
    
</iw:hasConclusion>
            <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
            <iw:isConsequentOf rdf:nodeID="b8"/>
            <s:label>@@evidence</s:label>
        </iw:hasAntecedent>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:hasConclusion>     @prefix : &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    
    :HTML4     ev:sublanguage :HTML2 .
    
</iw:hasConclusion>
            <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
            <iw:isConsequentOf rdf:nodeID="b9"/>
            <s:label>@@evidence</s:label>
        </iw:hasAntecedent>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    
     @forSome :_g3 .
    
    :_g3     ev:text "&#60;html&#62;...&#60;/html&#62;" .
    
</iw:hasConclusion>
            <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
            <iw:isConsequentOf rdf:nodeID="b10"/>
            <s:label>@@evidence</s:label>
        </iw:hasAntecedent>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    
     @forSome :_g3 .
    
    :_g3     ev:language ex:HTML4 .
    
</iw:hasConclusion>
            <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
            <iw:isConsequentOf rdf:nodeID="b11"/>
            <s:label>@@evidence</s:label>
        </iw:hasAntecedent>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex2: &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix log: &#60;http://www.w3.org/2000/10/swap/log#&#62; .
    
     @forAll :BIG,
                :COMM,
                :I,
                :TXT .
    {
         @forSome ex2:_g4 .
        :BIG     ev:sublanguage ex2:_g4 .
        :COMM     ev:language :BIG;
             ev:text :TXT .
          [      ev:intent :I;
                 ev:language ex2:_g4;
                 ev:text :TXT ].
        
        }     log:implies {:COMM     ev:intent :I .
        } .
    
</iw:hasConclusion>
            <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
            <iw:isConsequentOf rdf:nodeID="b12"/>
            <s:label>@@step</s:label>
        </iw:hasAntecedent>
        <iw:hasRule rdf:resource="http://inferenceweb.stanford.edu/registry/DPR/GMP.owl#GMP"/>
        <iw:hasVariableMapping rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#Mapping"/>
            <iw:mapFrom>file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#BIG</iw:mapFrom>
            <iw:mapTo>http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#HTML4</iw:mapTo>
        </iw:hasVariableMapping>
        <iw:hasVariableMapping rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#Mapping"/>
            <iw:mapFrom>file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#I</iw:mapFrom>
            <iw:mapTo>http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#chap1in</iw:mapTo>
        </iw:hasVariableMapping>
        <rea:binding rdf:parseType="Resource">
            <rea:boundTo rdf:parseType="Resource">
                <n3:uri>http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#HTML4</n3:uri>
            </rea:boundTo>
            <rea:variable rdf:parseType="Resource">
                <n3:uri>file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#BIG</n3:uri>
            </rea:variable>
        </rea:binding>
        <rea:binding rdf:parseType="Resource">
            <rea:boundTo>&#60;html&#62;...&#60;/html&#62;</rea:boundTo>
            <rea:variable rdf:parseType="Resource">
                <n3:uri>file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#TXT</n3:uri>
            </rea:variable>
        </rea:binding>
        <rea:binding rdf:parseType="Resource">
            <rea:boundTo rdf:parseType="Resource">
                <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Existential"/>
                <n3:nodeId>file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24.n3#_g_L12C2</n3:nodeId>
            </rea:boundTo>
            <rea:variable rdf:parseType="Resource">
                <n3:nodeId>file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#_g_L26C3</n3:nodeId>
            </rea:variable>
        </rea:binding>
        <rea:binding rdf:parseType="Resource">
            <rea:boundTo rdf:parseType="Resource">
                <n3:uri>http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#chap1in</n3:uri>
            </rea:boundTo>
            <rea:variable rdf:parseType="Resource">
                <n3:uri>file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#I</n3:uri>
            </rea:variable>
        </rea:binding>
        <rea:binding rdf:parseType="Resource">
            <rea:boundTo rdf:parseType="Resource">
                <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Existential"/>
                <n3:nodeId>file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24.n3#_g_L14C2</n3:nodeId>
            </rea:boundTo>
            <rea:variable rdf:parseType="Resource">
                <n3:uri>file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#COMM</n3:uri>
            </rea:variable>
        </rea:binding>
        <rea:binding rdf:parseType="Resource">
            <rea:boundTo rdf:parseType="Resource">
                <n3:uri>http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#HTML2</n3:uri>
            </rea:boundTo>
            <rea:variable rdf:parseType="Resource">
                <n3:nodeId>file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#_g_L26C30</n3:nodeId>
            </rea:variable>
        </rea:binding>
        <rea:evidence rdf:parseType="Collection">
            <rdf:li rdf:nodeID="b6"/>
            <rdf:li rdf:nodeID="b7"/>
            <rdf:li rdf:nodeID="b8"/>
            <rdf:li rdf:nodeID="b9"/>
            <rdf:li rdf:nodeID="b10"/>
            <rdf:li rdf:nodeID="b11"/>
        </rea:evidence>
        <rea:rule rdf:nodeID="b12"/>
    </iw:InferenceStep>

    <iw:InferenceStep rdf:nodeID="b6">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:nodeID="b19"/>
        <iw:rule rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rea:because rdf:nodeID="b2"/>
    </iw:InferenceStep>

    <iw:InferenceStep rdf:nodeID="b7">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:nodeID="b19"/>
        <iw:rule rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rea:because rdf:nodeID="b2"/>
    </iw:InferenceStep>

    <iw:InferenceStep rdf:nodeID="b8">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:nodeID="b19"/>
        <iw:rule rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rea:because rdf:nodeID="b2"/>
    </iw:InferenceStep>

    <iw:InferenceStep rdf:nodeID="b9">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:nodeID="b19"/>
        <iw:rule rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rea:because rdf:nodeID="b2"/>
    </iw:InferenceStep>

    <iw:InferenceStep rdf:nodeID="b10">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:nodeID="b19"/>
        <iw:rule rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rea:because rdf:nodeID="b2"/>
    </iw:InferenceStep>

    <iw:InferenceStep rdf:nodeID="b11">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:nodeID="b19"/>
        <iw:rule rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rea:because rdf:nodeID="b2"/>
    </iw:InferenceStep>

    <iw:InferenceStep rdf:nodeID="b12">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:isConsequentOf rdf:nodeID="b13"/>
            <s:label>@@step</s:label>
        </iw:hasAntecedent>
        <iw:rule rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rea:because rdf:nodeID="b13"/>
    </iw:InferenceStep>

    <iw:DirectAssertion rdf:nodeID="b13">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Parsing"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:source rdf:resource="ext-vers-rules.n3"/>
        <rea:because rdf:nodeID="b1"/>
        <rea:source rdf:resource="ext-vers-rules.n3"/>
    </iw:DirectAssertion>

    <iw:InferenceStep rdf:nodeID="b14">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:nodeID="b19"/>
        <iw:rule rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rea:because rdf:nodeID="b2"/>
    </iw:InferenceStep>

    <iw:InferenceStep rdf:nodeID="b15">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:nodeID="b19"/>
        <iw:rule rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rea:because rdf:nodeID="b2"/>
    </iw:InferenceStep>

    <iw:InferenceStep rdf:nodeID="b16">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:nodeID="b19"/>
        <iw:rule rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rea:because rdf:nodeID="b2"/>
    </iw:InferenceStep>

    <iw:InferenceStep rdf:nodeID="b17">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:hasAntecedent rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
            <iw:isConsequentOf rdf:nodeID="b18"/>
            <s:label>@@step</s:label>
        </iw:hasAntecedent>
        <iw:rule rdf:resource="http://www.w3.org/2000/10/swap/reason#Extraction"/>
        <rea:because rdf:nodeID="b18"/>
    </iw:InferenceStep>

    <iw:DirectAssertion rdf:nodeID="b18">
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Parsing"/>
        <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
        <iw:source rdf:resource="ex-html24-goal.n3"/>
        <rea:because rdf:nodeID="b1"/>
        <rea:source rdf:resource="ex-html24-goal.n3"/>
    </iw:DirectAssertion>

    <rdf:Description>
        <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
        <iw:hasConclusion>     @prefix : &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    @prefix ex2: &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    
    ex2:_g3     :intent ex:chap1in;
         :language ex:HTML4;
         :text "&#60;html&#62;...&#60;/html&#62;" .
    
</iw:hasConclusion>
        <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
        <iw:isConsequentOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#InferenceStep"/>
            <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Conjunction"/>
            <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Proof"/>
            <rdf:type rdf:resource="http://www.w3.org/2000/10/swap/reason#Step"/>
            <iw:hasAntecedent rdf:parseType="Resource">
                <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
                <iw:isConsequentOf rdf:nodeID="b3"/>
                <s:label>@@step</s:label>
            </iw:hasAntecedent>
            <iw:hasInferenceEngine rdf:resource="http://inferenceweb.stanford.edu/registry/IE/CWM.owl#CWM"/>
            <iw:rule rdf:resource="http://inferenceweb.stanford.edu/registry/DPR/AND-INTRO.owl#AND-INTRO"/>
            <rea:component rdf:nodeID="b3"/>
        </iw:isConsequentOf>
        <s:label>@@step</s:label>
    </rdf:Description>

    <iw:NodeSet rdf:nodeID="b19">
        <iw:isConsequentOf rdf:nodeID="b2"/>
        <s:label>@@step</s:label>
    </iw:NodeSet>

    <rdf:Description>
        <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
        <iw:isConsequentOf rdf:nodeID="b1"/>
        <s:label>@@step</s:label>
    </rdf:Description>

    <rdf:Description>
        <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
        <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    
     @forSome :_g3 .
    
    :_g3     ev:intent ex:chap1in .
    
</iw:hasConclusion>
        <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
        <iw:isConsequentOf rdf:nodeID="b4"/>
        <s:label>@@step</s:label>
    </rdf:Description>

    <rdf:Description>
        <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
        <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    
     @forSome :_g2 .
    
    :_g2     ev:intent ex:chap1in .
    
</iw:hasConclusion>
        <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
        <iw:isConsequentOf rdf:nodeID="b6"/>
        <s:label>@@step</s:label>
    </rdf:Description>

    <rdf:Description>
        <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
        <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    
     @forSome :_g2 .
    
    :_g2     ev:text "&#60;html&#62;...&#60;/html&#62;" .
    
</iw:hasConclusion>
        <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
        <iw:isConsequentOf rdf:nodeID="b7"/>
        <s:label>@@step</s:label>
    </rdf:Description>

    <rdf:Description>
        <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
        <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    
     @forSome :_g2 .
    
    :_g2     ev:language ex:HTML2 .
    
</iw:hasConclusion>
        <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
        <iw:isConsequentOf rdf:nodeID="b8"/>
        <s:label>@@step</s:label>
    </rdf:Description>

    <rdf:Description>
        <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
        <iw:hasConclusion>     @prefix : &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    
    :HTML4     ev:sublanguage :HTML2 .
    
</iw:hasConclusion>
        <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
        <iw:isConsequentOf rdf:nodeID="b9"/>
        <s:label>@@step</s:label>
    </rdf:Description>

    <rdf:Description>
        <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
        <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    
     @forSome :_g3 .
    
    :_g3     ev:text "&#60;html&#62;...&#60;/html&#62;" .
    
</iw:hasConclusion>
        <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
        <iw:isConsequentOf rdf:nodeID="b10"/>
        <s:label>@@step</s:label>
    </rdf:Description>

    <rdf:Description>
        <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
        <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    
     @forSome :_g3 .
    
    :_g3     ev:language ex:HTML4 .
    
</iw:hasConclusion>
        <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
        <iw:isConsequentOf rdf:nodeID="b11"/>
        <s:label>@@step</s:label>
    </rdf:Description>

    <rdf:Description>
        <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
        <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    
     @forSome :_g3 .
    
    :_g3     ev:text "&#60;html&#62;...&#60;/html&#62;" .
    
</iw:hasConclusion>
        <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
        <iw:isConsequentOf rdf:nodeID="b14"/>
        <s:label>@@step</s:label>
    </rdf:Description>

    <rdf:Description>
        <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
        <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    
     @forSome :_g3 .
    
    :_g3     ev:language ex:HTML4 .
    
</iw:hasConclusion>
        <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
        <iw:isConsequentOf rdf:nodeID="b15"/>
        <s:label>@@step</s:label>
    </rdf:Description>

    <rdf:Description>
        <rdf:type rdf:resource="http://inferenceweb.stanford.edu/2004/07/iw.owl#NodeSet"/>
        <iw:hasConclusion>     @prefix : &#60;file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-pf.n3#&#62; .
    @prefix ev: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#&#62; .
    @prefix ex: &#60;http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#&#62; .
    
     @forSome :_g3 .
    
    ex:chap2     ev:stateCommunication :_g3 .
    
</iw:hasConclusion>
        <iw:hasLanguage rdf:resource="http://www.w3.org/2004/06/rei#N3"/>
        <iw:isConsequentOf rdf:nodeID="b16"/>
        <s:label>@@step</s:label>
    </rdf:Description>
</rdf:RDF>