--- a/model/prov-n.html	Wed Jul 11 17:04:05 2012 +0100
+++ b/model/prov-n.html	Wed Jul 11 17:05:17 2012 +0100
@@ -2100,7 +2100,7 @@
 <h3>Summary of additional validity rules for grammar productions</h3>
 
 Some of the grammar productions allow for expressions that are syntactically correct, and yet according to [[PROV-DM]] they are not acceptable, because additional semantic rules are defined for those expressions.
- The following table provides a summary of such expressions along with examples of syntactically correct but unacceptable expressions, and the additional semantic rules.</p>
+ The following table provides a summary of such expressions along with examples of syntactically correct but unacceptable forms, and the additional semantic rules.</p>
 
 <div style="text-align: left;">
 <table border="1" style="margin-left: auto; margin-right: auto;">