--- a/model/grammar/yack/prov-n-LL.bnf	Sat Nov 10 07:29:46 2012 -0500
+++ b/model/grammar/yack/prov-n-LL.bnf	Sat Nov 10 07:31:32 2012 -0500
@@ -9,7 +9,7 @@
          | startExpression | endExpression | invalidationExpression | communicationExpression 
         | agentExpression |  associationExpression | attributionExpression | delegationExpression
         | derivationExpression | influenceExpression
-        | alternateExpression | specializationExpression | mentionExpression | membershipExpression 
+        | alternateExpression | specializationExpression | membershipExpression 
        | extensibilityExpression )
 
 
@@ -80,7 +80,7 @@
 
 [27] specializationExpression::=	"specializationOf" "("  eIdentifier "," eIdentifier ")"
 
-[33] mentionExpression::=	"mentionOf" "(" eIdentifier "," eIdentifier "," bIdentifier ")" 
+