--- a/dictionary/prov-dictionary-grammar.txt	Thu Mar 28 17:55:35 2013 +0100
+++ b/dictionary/prov-dictionary-grammar.txt	Thu Mar 28 18:00:07 2013 +0100
@@ -1,8 +1,8 @@
 [1] membershipExpression ::= "hadDictionaryMember" "(" dIdentifier "," eIdentifier "," key ")"
-[2] derivationByInsertionFromExpression ::= "derivedByInsertionFrom" "(" optionalIdentifier ";" dIdentifier "," dIdentifier "," "{" keyValuePairs "}" "," optionalAttributeValuePairs ")"
+[2] derivationByInsertionFromExpression ::= "derivedByInsertionFrom" "(" optionalIdentifier ";" dIdentifier "," dIdentifier "," "{" keyEntityPairs "}" "," optionalAttributeValuePairs ")"
 [3] derivationByRemovalFromExpression ::= "derivedByRemovalFrom" "(" optionalIdentifier ";" dIdentifier "," dIdentifier "," "{" keySet "}" "," optionalAttributeValuePairs ")"
 [4] dIdentifier ::= identifier 
 [5] key ::= literal 
-[6] keyValuePairs ::= keyValuePair ( "," keyValuePair )*
-[7] keyValuePair ::= "(" key "," eIdentifier ")"
+[6] keyEntityPairs ::= keyEntityPair ( "," keyEntityPair )*
+[7] keyEntityPair ::= "(" key "," eIdentifier ")"
 [8] keySet ::= key ( "," key )*
\ No newline at end of file