in "AlloyInEcore.g4", in "slot" non-terminal, "eObjectValue" and "dataValue" cause to conflict. Because "eObjectValue" has "pathName" (which has "unrestrictedName" which has "identifier") and "dataValue" has "enumValue" (which has "identifier").
So if any sentence in any "slot" has identifier (for example;
status [slot] : critical [enumValue]
),
parser prefers to accept "critical" as an "objectValue".
in "AlloyInEcore.g4", in "slot" non-terminal, "eObjectValue" and "dataValue" cause to conflict. Because "eObjectValue" has "pathName" (which has "unrestrictedName" which has "identifier") and "dataValue" has "enumValue" (which has "identifier").
So if any sentence in any "slot" has identifier (for example;
status [slot] : critical [enumValue]
),
parser prefers to accept "critical" as an "objectValue".