[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 [5] key ::= literal [6] keyEntityPairs ::= keyEntityPair ( "," keyEntityPair )* [7] keyEntityPair ::= "(" key "," eIdentifier ")" [8] keySet ::= key ( "," key )*