--- a/model/ProvenanceModel.html	Sun Nov 27 20:57:59 2011 -0500
+++ b/model/ProvenanceModel.html	Mon Nov 28 12:06:12 2011 +0000
@@ -956,12 +956,12 @@
 <span class="name">activity</span>
 <span class="name">(</span>
 <span class="nonterminal">identifier</span>
-[ <span class="name">,</span>
-<span class="nonterminal">recipeLink</span> ]
+<span class="optional"><span class="name">,</span>
+<span class="nonterminal">recipeLink</span> </span>
 <span class="name">,</span>
-[ <span class="nonterminal">time</span> ]
+<span class="optional"><span class="nonterminal">time</span></span>
 <span class="name">,</span>
-[ <span class="nonterminal">time</span> ]
+<span><span class="nonterminal">time</span></span>
 <span class="name">,</span>
 <span class="nonterminal">other-attribute-values</span>
 <span class="name">)</span><br/>
@@ -1164,15 +1164,15 @@
 <span class="nonterminal">generationRecord</span>&nbsp;:=  
 <span class="name">wasGeneratedBy</span>
 <span class="name">(</span>
-[<span class="nonterminal">identifier</span>
-<span class="name">,</span>]
+<span class="optional"><span class="nonterminal">identifier</span>
+<span class="name">,</span></span>
 <span class="nonterminal">identifier</span>
 <span class="name">,</span>
 <span class="nonterminal">identifier</span>
 <span class="name">,</span>
 <span class="nonterminal">attribute-values</span>
-[<span class="name">,</span>
-<span class="nonterminal">time</span>]
+<span class="optional"><span class="name">,</span>
+<span class="nonterminal">time</span></span>
 <span class="name">)</span><br/>
 </div>
 
@@ -1243,15 +1243,19 @@
 <span class="nonterminal">usageRecord</span>&nbsp;:=  
 <span class="name">used</span>
 <span class="name">(</span>
-[<span class="nonterminal">identifier</span>
-<span class="name">,</span>]
+<span class="optional">
+<span class="nonterminal">identifier</span>
+<span class="name">,</span>
+</span>
 <span class="nonterminal">identifier</span>
 <span class="name">,</span>
 <span class="nonterminal">identifier</span>
 <span class="name">,</span>
 <span class="nonterminal">attribute-values</span>
-[<span class="name">,</span>
-<span class="nonterminal">time</span>]
+<span class="optional">
+<span class="name">,</span>
+<span class="nonterminal">time</span>
+</span>
 <span class="name">)</span><br/>
 </div>
 
@@ -1345,7 +1349,7 @@
 <span class="nonterminal">activityAssociationRecord</span>&nbsp;:= 
 <span class="name">wasAssociatedWith</span>
 <span class="name">(</span>
-[<span class="nonterminal">identifier</span>,]
+<span class="optional"><span class="nonterminal">identifier</span>,</span>
 <span class="nonterminal">identifier</span>,
 <span class="nonterminal">identifiers</span>,
 <span class="nonterminal">attribute-values</span>
@@ -1399,7 +1403,7 @@
 <span class="nonterminal">startRecord</span>&nbsp;:= 
 <span class="name">wasStartedBy</span>
 <span class="name">(</span>
-[<span class="nonterminal">identifier</span>,]
+<span class="optional"><span class="nonterminal">identifier</span>,</span>
 <span class="nonterminal">identifier</span>,
 <span class="nonterminal">identifier</span>,
 <span class="nonterminal">attribute-values</span>
@@ -1407,7 +1411,7 @@
 <span class="nonterminal">endRecord</span>&nbsp;:= 
 <span class="name">wasEndedBy</span>
 <span class="name">(</span>
-[<span class="nonterminal">identifier</span>,]
+<span class="optional"><span class="nonterminal">identifier</span>,</span>
 <span class="nonterminal">identifier</span>,
 <span class="nonterminal">identifier</span>,
 <span class="nonterminal">attribute-values</span>
@@ -1525,10 +1529,10 @@
 <span class="nonterminal">responsibilityRecord</span>&nbsp;:= 
 <span class="name">actedOnBehalfOf</span>
 <span class="name">(</span>
-[<span class="nonterminal">identifier</span>,]
+<span class="optional"><span class="nonterminal">identifier</span>,</span>
 <span class="nonterminal">identifier</span>,
 <span class="nonterminal">identifiers</span>,
-[<span class="nonterminal">identifier</span>,]
+<span class="optional"><span class="nonterminal">identifier</span>,</span>
 <span class="nonterminal">attribute-values</span>
 <span class="name">)</span>
 </div>
@@ -2038,7 +2042,8 @@
 <span class="name">,</span> 
 <span class="nonterminal">asserter</span> 
 <span class="name">,</span> 
-{ <span class="nonterminal">record</span> }
+<span class="plus">
+<span class="nonterminal">record</span> </span>
 <span class="name">)</span> 
 </div>
 
@@ -2170,9 +2175,9 @@
 <span class="name">(</span> 
 <span class="nonterminal">namespaceDeclarations</span> 
 <span class="name">,</span> 
-{ <span class="nonterminal">identifier</span> }
+<span class="star"> <span class="nonterminal">identifier</span> </span>
 <span class="name">,</span> 
-{ <span class="nonterminal">record</span> }
+<span class="plus"> <span class="nonterminal">record</span> </span>
 <span class="name">)</span> 
 </div>
 
@@ -2578,8 +2583,8 @@
 <span class="nonterminal">traceabilityRecord</span>&nbsp;:= 
 <span class="name">tracedTo</span>
 <span class="name">(</span>
-[<span class="nonterminal">identifier</span>
-<span class="name">,</span>]
+<span class="optional"><span class="nonterminal">identifier</span>
+<span class="name">,</span></span>
 <span class="nonterminal">identifier</span>
 <span class="name">,</span>
 <span class="nonterminal">identifier</span>
@@ -2656,8 +2661,9 @@
 <span class="nonterminal">controlOrderingRecord</span> &nbsp;:= 
 <span class="name">wasStartedBy</span>
 <span class="name">(</span>
-[<span class="nonterminal">identifier</span>
-<span class="name">,</span>]
+<span class="optional"><span class="nonterminal">identifier</span>
+<span class="name">,</span>
+</span>
 <span class="nonterminal">identifier</span>
 <span class="name">,</span>
 <span class="nonterminal">identifier</span>
@@ -2780,8 +2786,8 @@
 <span class="nonterminal">identifier</span>
 <span class="name">,</span>
 <span class="nonterminal">identifier</span>
-[<span class="name">,</span>
-<span class="nonterminal">identifier</span>]
+<span class="optional"><span class="name">,</span>
+<span class="nonterminal">identifier</span></span>
 <span class="name">)</span>
 </div>
 

--- a/model/extra.css	Sun Nov 27 20:57:59 2011 -0500
+++ b/model/extra.css	Mon Nov 28 12:06:12 2011 +0000
@@ -216,3 +216,38 @@
 .anexample table {
     background-color: #f9f9f9;
 }
+
+div[class="grammar"] span[class="name"]:before {
+    content: "'";
+}
+
+div[class="grammar"] span[class="name"]:after {
+    content: "'";
+}
+
+
+div[class="grammar"] span[class="optional"]:before {
+    content: "(";
+}
+
+div[class="grammar"] span[class="optional"]:after {
+    content: ")?";
+}
+
+
+div[class="grammar"] span[class="plus"]:before {
+    content: "(";
+}
+
+div[class="grammar"] span[class="plus"]:after {
+    content: ")+";
+}
+
+
+div[class="grammar"] span[class="star"]:before {
+    content: "(";
+}
+
+div[class="grammar"] span[class="star"]:after {
+    content: ")*";
+}