--- a/model/prov-constraints.html	Wed Aug 08 12:17:48 2012 +0100
+++ b/model/prov-constraints.html	Wed Aug 08 13:23:49 2012 +0200
@@ -3512,8 +3512,11 @@
 	  Similarly, there is no disjointness between activities and
  agents, and one can assert both <span
  class="name">activity(a1)</span> and <span
- class="name">agent(a1)</span> in a valid PROV instance.
-<!-- However, it is RECOMMENDED that users refrain from using the same identifier for an entity and an agent unless they refer to the same thing. -->
+ class="name">agent(a1)</span> in a valid PROV instance. 
+ However, one should keep in mind that some specific types of agents may not be suitable as activities. 
+ For example, asserting statements such as <span
+ class="name">agent(Bob, [type=prov:Person])</span> and <span
+ class="name">activity(Bob)</span> is discouraged. In these cases, disjointness can be ensured by explicitly asserting the agent as both agent and entity, and applying <a class="rule-ref" href="#entity-activity-disjoint"><span>TBD</span></a>.
   </div>