--- a/model/working-copy/wd5-prov-dm-constraints-revised.html	Sun Apr 15 14:20:36 2012 +0100
+++ b/model/working-copy/wd5-prov-dm-constraints-revised.html	Sun Apr 15 14:27:49 2012 +0100
@@ -206,7 +206,7 @@
  <p>This is the fourth public release of the PROV-DM
 document. Following feedback, the Working Group has decided to
 reorganize this document substantially, separating the data model,
-from its contraints, and the notation used to illustrate it. The
+from its constraints, and the notation used to illustrate it. The
 PROV-DM release is synchronized with the release of the PROV-O,
 PROV-PRIMER, PROV-N, PROV-DM-CONSTRAINTS documents.
 </p>
@@ -370,7 +370,7 @@
 <p>Applications that process provenance MAY use these definitions or
 inferences.  Moreover, they SHOULD apply all applicable inferences
 before determining whether an instance of PROV-DM is <a
- title="valid">valid</a>.  In particular, applications that generalte
+ title="valid">valid</a>.  In particular, applications that generate
 provenance SHOULD check that the generated provenance is valid even if
 some of these inferences or definitions are applied to it by another
 application.
@@ -1292,7 +1292,7 @@
   in one place</div>
   
 <p>Structurally well-formed provenance satisfies some constraints, which force the structure of descriptions to be exposed by means of accounts. With these constraints satisfied, further
-inferences can be made about structurally well-formed descriptons.
+inferences can be made about structurally well-formed descriptions.
 The uniqueness of generations in accounts is formulated as follows.
 </p>
 
@@ -1363,7 +1363,7 @@
 encompasses a part of a thing's history during which some of the
 attributes are fixed.  An entity can thus be thought of as a part of a
 thing with some associated partial state.
-Attribures in PROV-DM are used to fix certain aspects of entities.</p>
+Attributes in PROV-DM are used to fix certain aspects of entities.</p>
 
 <!--<p>Attributes in PROV-DM describe some aspects of entities.
 Indeed, we previously defined 
@@ -1406,7 +1406,7 @@
 <div class="anexample" id="a-report-example">
 Different users may take different perspectives on a resource with
 a URL. A provenance record might use one (or more)  different
-  entities to talk about different persectives, such as:
+  entities to talk about different perspectives, such as:
 <ul>
 <li>a report available at a URL: fixes the nature of the thing, i.e. a document, and its location; </li>
 <li>the version of the report available there today: fixes its version number, contents, and its date;</li>
@@ -1553,7 +1553,7 @@
 this means that either the two events are equal or <span
 class="name">e1</span> happened after <span
 class="name">e2</span>. Both relations are partial orders, meaning
-that they are reflexive, transitive, and antisymetric
+that they are reflexive, transitive, and antisymmetric
 [[Lattices]].</p>
 
 <div class="note"> Define reflexivity, transitivity
@@ -2304,7 +2304,7 @@
 
 
 <div class="anexample" id="anexample-alternate-not-transitive1">
-<p>At 6pm, the customer in a chair is a woman in a red dress, who happens to be Alice. After she leaves, another customer arrives at 7pm, a man with glasses, who happens to be Bob.  Transitivity does not hold since the <span class="name">womanInRedDress</span> is not alternate of <span class="name">customerInChairAt7pm</span>.
+<p>At 6pm, the customer in a chair is a woman in a red dress, who happens to be Alice. After she leaves, another customer arrives at 7pm, a man with glasses, who happens to be Bob.  Transitivity does not hold since the <span class="name">womanInRedDress\</span> is not alternate of <span class="name">customerInChairAt7pm</span>.
 <pre>
 alternate(womanInRedDress,customerInChairAt6pm)
 specialization(customerInChairAt6pm,Alice)
@@ -2344,3 +2344,30 @@
     </section> 
    
  </body></html>
+
+<!--  LocalWords:  px DM RL RDF AQ SEM SOTD Definitional wasInformedBy attrs ag
+ -->
+<!--  LocalWords:  wasGeneratedBy wasStartedBy gAttr sAttr wasAttributedTo attr
+ -->
+<!--  LocalWords:  wasAssociatedWith dAttrs gAttrs wasDerivedFrom uAttrs eAttrs
+ -->
+<!--  LocalWords:  wasRevisionOf specializationOf wasQuotedFrom Traceability WD
+ -->
+<!--  LocalWords:  tracedTo aAttr actedOnBehalfOf rAttr traceability TODO xsd
+ -->
+<!--  LocalWords:  alternateOf wasEndedBy Lamport's timeline subfigure memberOf
+ -->
+<!--  LocalWords:  wasStartedByAgent wasAttributedWith derivedByInsertionFrom
+ -->
+<!--  LocalWords:  QName derivedByRemovalFrom EmptyCollection wasVersionOf dm
+ -->
+<!--  LocalWords:  RecsWD formedness workflow ness operability CSP
+ -->
+<!--  LocalWords:  disambiguating lifecycle conformant minimalistic Lamport fo
+ -->
+<!--  LocalWords:  reflexivity antisymmetry timelines timespan WG
+ -->
+<!--  LocalWords:  continuant occurrent modalities toyota womanInRedDress
+ -->
+<!--  LocalWords:  customerInChairAt manWithGlasses customerInChair
+ -->