--- a/ontology/ProvenanceFormalModel.html	Wed Oct 26 15:00:54 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Wed Oct 26 15:04:04 2011 +0100
@@ -1969,7 +1969,7 @@
 		<p>Similar to Rule 1, if a PROV ontology class Y is defined to be <i>range</i> of a PROV object property, then an individual asserted as "object" of that property in a RDF triple is an instance of the class Y. (from rdf3 Rule defined in RDF Semantics)
 		</p>
 		<h4>Rule 3</h4>
-		<p>Both the rdfs:subClassOf and rdfsubPropertyOf are transitive properties, hence provenance assertions, in form of RDF triples, using a specialized sub class or sub property can be inferred to be true for their parent class or parent property. For example, in the provenance scenario, though alice and bob are asserted to be individuals of the class Journalist, we can infer that they are also individuals of the PROV ontology class Agent and Entity. Given,						
+		<p>Both the <code>rdfs:subClassOf</code> and <code>rdfs:subPropertyOf</code> are transitive properties, hence provenance assertions, in form of RDF triples, using a specialized sub class or sub property can be inferred to be true for their parent class or parent property. For example, in the provenance scenario, though alice and bob are asserted to be individuals of the class Journalist, we can infer that they are also individuals of the PROV ontology class Agent and Entity. Given,						
 		</p>
 		<div class="exampleOuter">
 		  <pre class="example">