Distinction data element and constant in openmath parser #10
Description
Revise the use of resource ID as a constant. Currently for all happenings + events variables. However, only necessary once. Problem is, parser openmath, which uses argName and extends it by happening + event. A distinction must be made here.