--- a/dictionary/prov-dictionary-grammar.txt	Thu Apr 11 10:41:45 2013 +0200
+++ b/dictionary/prov-dictionary-grammar.txt	Thu Apr 11 10:45:20 2013 +0200
@@ -1,4 +1,4 @@
-[1] membershipExpression ::= "hadDictionaryMember" "(" dIdentifier "," eIdentifier "," key ")"
+[1] dictionaryMembershipExpression ::= "hadDictionaryMember" "(" dIdentifier "," eIdentifier "," key ")"
 [2] derivationByInsertionFromExpression ::= "derivedByInsertionFrom" "(" optionalIdentifier ";" dIdentifier "," dIdentifier "," "{" keyEntityPairs "}" "," optionalAttributeValuePairs ")"
 [3] derivationByRemovalFromExpression ::= "derivedByRemovalFrom" "(" optionalIdentifier ";" dIdentifier "," dIdentifier "," "{" keySet "}" "," optionalAttributeValuePairs ")"
 [4] dIdentifier ::= identifier