--- a/model/working-copy/wd5-prov-dm-plan.html	Tue Mar 13 10:29:04 2012 +0000
+++ b/model/working-copy/wd5-prov-dm-plan.html	Tue Mar 13 10:58:46 2012 +0000
@@ -202,7 +202,6 @@
     </section> 
 
 <section id="sotd">
-<div class="note">PROPOSALS TO VOTE ON</div>
 </section>
 
 
@@ -252,6 +251,26 @@
 </section>  <!-- end wasAssociatedWith -->
 
 
+<section>
+<h4>TO GO in PART 2 </h4>
+
+<div class="note">
+Need to determine where this goes. Probably section 4.
+</div>
+
+
+<p>In associations, prov-dm assumes that an agent always exists, even if it has not been specified. This is formalized by the following inference. </p>
+<div class='inference' id='infer-agent-in-association'>
+<p>Given an activity <span class="name">a</span> and a plan  <span class="name">pl</span>, and a  set of attribute-value
+pairs <span class="name">attrs</span>,
+
+<span class='conditional'>if</span> <span class="name">wasAssociatedWith(a,-,pl, attrs)</span>  holds, <span
+class='conditional'>then</span>  there exists an agent <span class="name">ag</span>, such that <span class="name">wasAssociatedWith(a,ag,pl, attrs)</span> also holds.
+</div>
+
+
+
+</section>