--- a/ontology/ProvenanceFormalModel.html	Wed Nov 23 19:42:24 2011 +0000
+++ b/ontology/ProvenanceFormalModel.html	Wed Nov 23 14:55:16 2011 -0500
@@ -1074,18 +1074,14 @@
 		  <img src="http://www.w3.org/2011/prov/wiki/images/9/9a/Object_Properties_overall_diagram.png" alt="Object properties among all classes in the PROV ontology"/>
 		  <a href="https://dvcs.w3.org/hg/prov/raw-file/34a479f3f5d0/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.pdf"><img src="https://dvcs.w3.org/hg/prov/raw-file/34a479f3f5d0/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.png" alt="Object properties among all classes in the PROV ontology"/></a>
 -->
-      </section>
-      
-      <section id="overview-of-qualified-involvement">
-      <h3>Overview of Qualified Involvement</h3>
-      <p>The following diagram illustrates qualified involvements in the PROV ontology.</p>
-      <img src="diagram-history/qualified-involvements/QualifiedInvolvementDiagram.png"
+      </section> 
+     	
+      <section id="overview-of-qualified-involvement">	    
+        <h3>Overview of Qualified Involvement</h3>
+        <p>The <a href="#qualifiedinvolvement">QualifiedInvolvement</a> class describes qualifying information on the PROV-O properties, namely <a href="#used">used</a>, <a href="#wasgeneratedby">wasGeneratedBy</a>, <a href="#wascontrolledby">wasControlledBy</a>, and <a href="#hadparticipant">hadParticipant</a>. The following figure illustrates the representation of qualifying information using these PROV-O classes and properties.</p>      
+        <img src="diagram-history/qualified-involvements/QualifiedInvolvementDiagram.png"
       	style="min-width: 45em; width: 55em; max-width: 95%"
-      	alt="Classes and properties of qualified involvement in the PROV ontology"/>
-      	
-      	<p>The Qualified involvement classes allow for the representation of qualifying information on the core provenance relations used, wasGeneratedBy, generation, and hadParticipant which are defined as OWL object properties in PROV-O.</p>
-      	<p>The OWL classes Usage, Generation, Control, and Participation are specializations of the class QualifiedInvolvement.  For each QualifiedInvolvement there must be some entity referenced via the property hadQualifiedEntity, for Participation and Control this entity is inferred to have type Agent.</p>
-      	<p>Qualified Involvement exists so qualifiers may be represented on core provenance relations between entities and activities. An example qualifier would be role information for an entity's involvement in the activity.  Role information always describes the entities function within the context of the entities association with the activity, which is why role is expressed on the QualifiedInvolvement.  Other qualifying information could include, time of involvement, location of entity in involvement, authority of agent in control, subset of document used in a usage, etc.  Only a few universal qualifiers will be defined in PRO-O, it is expected that users will define domain-specific qualifiers based on their unique requirements.</p>
+      	alt="Classes and properties of qualified involvement in the PROV ontology"/>	
       </section>
       
     </section>