enumeration_symbol
INSTANCE enumeration_symbol#43;
corresponds_to = {enumeration_symbol#46};
name = "red";
END_INSTANCE;
INSTANCE enumeration_symbol#44;
corresponds_to = {enumeration_symbol#47};
name = "yellow";
END_INSTANCE;
INSTANCE enumeration_symbol#45;
corresponds_to = {enumeration_symbol#48};
name = "white";
END_INSTANCE;
INSTANCE enumeration_symbol#46;
corresponds_to = {enumeration_symbol#43};
name = "red";
END_INSTANCE;
INSTANCE enumeration_symbol#47;
corresponds_to = {enumeration_symbol#44};
name = "yellow";
END_INSTANCE;
INSTANCE enumeration_symbol#48;
corresponds_to = {enumeration_symbol#45};
name = "white";
END_INSTANCE;